v1: [|cur_v>=0; -cur_v>=0; -cur_v-n>=0; cur_v-n>=0; -n>=0; -n+prefn>=0; -cur_v-prefn>=0; cur_v-prefn>=0; -n-prefn>=0; n-prefn>=0; -prefn>=0|]
v2: [|cur_v>=0; -cur_v+1.>=0; -cur_v-n+2.>=0; cur_v-n>=0; -n+1.>=0; -n+prefn>=0; -cur_v-prefn+2.>=0; cur_v-prefn>=0; -n-prefn+2.>=0; n-prefn>=0; -prefn+1.>=0|]

environment: dim = (3,0), count = 21
 0: cur_v
 1: n
 2: prefn
octagon of dim (3,0)
matrix:
0 0
0 0
+oo +oo 0 +oo
+oo +oo 0 0
+oo +oo 0 +oo 0 +oo
+oo +oo 0 0 0 0
closed matrix:
0 0
0 0
+oo +oo 0 +oo
0 0 0 0
+oo +oo 0 +oo 0 +oo
0 0 0 0 0 0

environment: dim = (3,0), count = 1
 0: cur_v
 1: n
 2: prefn
octagon of dim (3,0)
matrix: NULL
closed matrix:
0 0
0 0
+oo +oo 0 +oo
0 0 0 0
+oo +oo 0 +oo 0 +oo
0 0 0 0 0 0

/Library/Developer/CommandLineTools/usr/bin/strip: error: symbols referenced by indirect symbol table entries that can't be stripped in: /Users/jorge/Repos/apron-mine/install-release/lib/libapron.so
___gmpfr_mpfr_get_sj
___gmpfr_out_str
___gmpn_perfect_square_p
___gmpq_add
___gmpq_canonicalize
___gmpq_clear
___gmpq_cmp
___gmpq_cmp_si
___gmpq_div
___gmpq_div_2exp
....

(library
 (name mylib)
 (libraries zarith camlidl bigarray gmp apron apron.boxD apron.boxMPFR apron.polkaMPQ apron.octMPQ apron.polkaRll apron.t1pD apron.t1pMPFR apron.t1pMPQ apron.octD apron.boxMPQ str unix)
)

(executable
 (public_name myexecutable)
 (name main)
 (libraries mylib zarith camlidl bigarray gmp apron apron.boxD apron.boxMPFR apron.polkaMPQ apron.octMPQ apron.polkaRll apron.t1pD apron.t1pMPFR apron.t1pMPQ apron.octD apron.boxMPQ str unix)
 (preprocess
  (pps ppx_inline_test)))

#include <stdio.h>
#include <stdlib.h>

#include <ap_global0.h>
#include <box.h>
#include <pk.h>

ap_manager_t* box_man;
ap_manager_t* pk_man;

int main() {
  ap_manager_t* box_man = box_manager_alloc();
  ap_manager_t* pk_man = pk_manager_alloc(false);

  ap_interval_t** itvs0 = ap_interval_array_alloc(1);

  ap_abstract0_t* box0 = ap_abstract0_of_box(box_man, 0, 0, itvs0);
  bool box0_is_bottom = ap_abstract0_is_bottom(box_man, box0);
  bool box0_is_top = ap_abstract0_is_top(box_man, box0);
  printf("box0 is bottom = %i, box0 is top = %i\n\n", box0_is_bottom, box0_is_top);

  ap_abstract0_t* pk0 = ap_abstract0_of_box(pk_man, 0, 0, itvs0);
  bool pk0_is_bottom = ap_abstract0_is_bottom(pk_man, pk0);
  bool pk0_is_top = ap_abstract0_is_top(pk_man, pk0);
  printf("pk0 is bottom = %i, pk0 is top = %i\n\n", pk0_is_bottom, pk0_is_top);

  ap_interval_t** itvs1 = ap_abstract0_to_box(pk_man, pk0);
  ap_abstract0_t* box1 = ap_abstract0_of_box(box_man, 0, 0, itvs1);
  bool box1_is_bottom = ap_abstract0_is_bottom(box_man, box1);
  bool box1_is_top = ap_abstract0_is_top(box_man, box1);
  printf("box1 is bottom = %i, box1 is top = %i\n\n", box1_is_bottom, box1_is_top);
}

open Apron

let manbox    = Box.manager_alloc ();;
let manoct    = Oct.manager_alloc ();;
let maneq     = Polka.manager_alloc_equalities ();;
let manpk     = Polka.manager_alloc_strict();;
let manpkl    = Polka.manager_alloc_loose();;
let manppl    = Ppl.manager_alloc_strict();;
let manppll   = Ppl.manager_alloc_loose();;
let mangrid   = Ppl.manager_alloc_grid ();;
let mant1p    = T1p.manager_alloc ();;

let test man =
  let name = Manager.get_library man in
  let varj = Var.of_string "j" in
  let env  = Environment.make [| varj |] [| |] in
  let top  = Abstract1.top man env in
  let bot  = Abstract1.bottom man env in
  let a    = Abstract1.assign_texpr man top varj
               (Texpr1.cst env (Coeff.Interval (Interval.of_int 1 1))) (Some bot) in
  let is_bot = Abstract1.is_leq man a bot in
    if is_bot
    then Format.printf "%s : %b@." name is_bot
    else Format.printf "%s : %b, a : %a@." name is_bot Abstract1.print a

;;
test manbox;;
test manoct;;    (* succeeds *)
test maneq;;     (* succeeds *)
test manpk;;     (* succeeds *)
test manpkl;;    (* succeeds *)
test manppl;;    (* succeeds *)
test manppll;;   (* succeeds *)
test mangrid;;   (* succeeds *)
test mant1p;;

ocamlfind ocamlopt -o issuebox1.opt issuebox1.ml -package "qcheck,ppx_deriving.show,apron.boxMPQ,apron.octMPQ,apron.polkaMPQ,apron.ppl,apron.polkaGrid,apron.t1pMPQ" -linkpkg

box : false, a : top
oct : true
polka, equalities mode : true
polka, strict mode : true
polka, loose mode : true
PPL::Polyhedron, strict mode : true
PPL::Polyhedron, loose mode : true
PPL::Grid : true
Taylor1+ : false, a : [|j-1=0|]

#include "ap_abstract1.h"
#include "ap_manager.h"
#include "box.h"
#include "ap_global1.h"

#include<iostream>

using namespace std;

int main() {
    ap_manager_t *man;
    ap_environment_t *env;
    ap_abstract1_t state;

    // init box manager 
    man = box_manager_alloc();

    // init env with two integer variables x and y and no floats
    ap_var_t varX = (ap_var_t)"x";
    ap_var_t varY = (ap_var_t)"y";
    ap_var_t intVars[2] = {varX, varY};
    ap_var_t floatVars[0];
    env = ap_environment_alloc(intVars, 2, floatVars, 0);
    
    // init the program state with top
    state = ap_abstract1_top(man, env);

    // initialize all variables to zero
    ap_linexpr1_t expr = ap_linexpr1_make(env, AP_LINEXPR_SPARSE, 1);
    ap_linexpr1_set_list(&expr, AP_CST_S_INT, 0, AP_END);
    state = ap_abstract1_assign_linexpr(man, true, &state, varX, &expr, NULL);
    state = ap_abstract1_assign_linexpr(man, true, &state, varY, &expr, NULL);
    
    cout << "Program State:" << endl;
    ap_abstract1_fprint(stdout, man, &state);

    // add constraint -y > 0
    expr = ap_linexpr1_make(env, AP_LINEXPR_SPARSE, 2);
    ap_lincons1_t consExpr = ap_lincons1_make(AP_CONS_SUP, &expr, NULL);
    ap_lincons1_set_list(&consExpr, AP_COEFF_S_INT, -1, varY, AP_CST_S_INT, 0, AP_END);
    cout << "ConsExpr: " << endl;
    ap_lincons1_fprint(stderr, &consExpr);
    cout << endl;
    ap_lincons1_array_t consArray = ap_lincons1_array_make(env, 1);
    ap_lincons1_array_set(&consArray, 0, &consExpr);

    // take meet of the constraint -y > 0 and current state
    state = ap_abstract1_meet_lincons_array(man, true, &state, &consArray);

    cout << "Program State:" << endl;
    ap_abstract1_fprint(stdout, man, &state);
    cout << "is bottom: " << ap_abstract1_is_bottom(man, (ap_abstract1_t*)&state)<< endl;

    return 0;
}

Program State:
interval of dim (2,0):
       x in [0,0]
       y in [0,0]
ConsExpr: 
-y > 0
Program State:
interval of dim (2,0):
       x in [1,-1]
       y in [0,-1]
is bottom: 0

Program State:
interval of dim (2,0):
       x in [0,0]
       y in [0,0]
ConsExpr: 
-y > 0
Program State:
interval of dim (2,0): bottom
is bottom: 1

FPGETROUND(3)          FreeBSD Library Functions Manual          FPGETROUND(3)

NAME
     fpgetround, fpsetround, fpsetprec, fpgetprec, fpgetmask, fpsetmask,
     fpgetsticky, fpresetsticky – IEEE floating point interface

SYNOPSIS
     #include <ieeefp.h>

     typedef enum {
             FP_RN,          /* round to nearest */
             FP_RM,          /* round down to minus infinity */
             FP_RP,          /* round up to plus infinity */
             FP_RZ           /* truncate */
     } fp_rnd_t;
     fp_rnd_t
     fpgetround(void);

     fp_rnd_t
     fpsetround(fp_rnd_t direction);

     typedef enum {
             FP_PS,          /* 24 bit (single-precision) */
             FP_PRS,         /* reserved */
             FP_PD,          /* 53 bit (double-precision) */
             FP_PE           /* 64 bit (extended-precision) */
     } fp_prec_t;
     fp_prec_t
     fpgetprec(void);

     fp_prec_t
     fpsetprec(fp_prec_t precision);

     #define fp_except_t     int
     #define FP_X_INV        0x01    /* invalid operation */
     #define FP_X_DNML       0x02    /* denormal */
     #define FP_X_DZ         0x04    /* zero divide */
     #define FP_X_OFL        0x08    /* overflow */
     #define FP_X_UFL        0x10    /* underflow */
     #define FP_X_IMP        0x20    /* (im)precision */
     #define FP_X_STK        0x40    /* stack fault */
     fp_except_t
     fpgetmask(void);

     fp_except_t
     fpsetmask(fp_except_t mask);

     fp_except_t
     fpgetsticky(void);

     fp_except_t
     fpresetsticky(fp_except_t sticky);

DESCRIPTION
     The routines described herein are deprecated.  New code should use the
     functionality provided by fenv(3).

ap_manager.c:310:3: error: implicit declaration of function 'fpsetround' is invalid in C99 [-Werror,-Wimplicit-function-declaration]
  fpsetround(FP_RP);
  ^
1 error generated.

s1 = 1·f + 1 == 0 ∧ -1·m + 1·n + 1 >= 0 ∧ 1·m - 1·n + 0 >= 0 ∧ 1·m - 1 >= 0
s2 =-1·m + 1·n + 0 == 0

touch apron/depend
make -C apron depend

#require "apron";;
#require "apron.octMPQ";;
#require "apron.polkaMPQ";;

open Apron
open Texpr1

let to_cst (x: int) : expr =
  Cst (x |> string_of_int |> Mpqf.of_string |> Coeff.s_of_mpqf)

let () =
  let man = Polka.manager_alloc_strict () in
  (* let man = Oct.manager_alloc () in *)
  let x = Var.of_string "x" in
  let env = Environment.make [|x|] [||] in
  let s = Abstract1.top man env in
  let e = Binop (Div, to_cst 1, to_cst 0, Real, Zero) in
  let s = Abstract1.assign_texpr man s x (of_expr env e) None in
  ()
;;

diff --git a/japron/Makefile b/japron/Makefile
index d31a57c..0eaa6e9 100644
--- a/japron/Makefile
+++ b/japron/Makefile
@@ -117,7 +117,7 @@ ifneq ($(JAVAC_HAS_H),)
 
 gmp.jar: $(GMPJ)
        $(JAVAC) -h gmp $+
-       $(JAR) cf $@ $+
+       $(JAR) cf $@ $(GMPCLASS)
        $(JAR) i $@
 
 else
@@ -125,7 +125,7 @@ else
 gmp.jar: $(GMPJ)
        $(JAVAC) $+
        $(JAVAH) -d gmp $(GMPCNAME)
diff --git a/japron/Makefile b/japron/Makefile
index d31a57c..0eaa6e9 100644
--- a/japron/Makefile
+++ b/japron/Makefile
@@ -117,7 +117,7 @@ ifneq ($(JAVAC_HAS_H),)
 
 gmp.jar: $(GMPJ)
        $(JAVAC) -h gmp $+
-       $(JAR) cf $@ $+
+       $(JAR) cf $@ $(GMPCLASS)
        $(JAR) i $@
 
 else
@@ -125,7 +125,7 @@ else
 gmp.jar: $(GMPJ)
        $(JAVAC) $+
        $(JAVAH) -d gmp $(GMPCNAME)
-       $(JAR) cf $@ $+
+       $(JAR) cf $@ $(GMPCLASS)
        $(JAR) i $@
 
 endif
@@ -141,7 +141,7 @@ ifneq ($(JAVAC_HAS_H),)

let _ =
  let vx = Var.of_string "x" in
  let vy = Var.of_string "y" in
  let env = Environment.make [||] [|vx;vy|] in
  let c = Texpr1.cst env (Coeff.s_of_int 2) in
  let c' = Texpr1.cst env (Coeff.s_of_int 3) in
  let vx' =  Texpr1.var env vx in
  let vy' = Texpr1.var env vy in
  let texpr = Texpr1.binop Add vx' vy' Real Near in
  let texpr1 = Texpr1.binop Sub texpr c Real Near in
  let texpr2 = Texpr1.binop Sub texpr c' Real Near in
  (* let sum' = Texpr1.(Binop(Sub,x2,Cst c,Int,Near)) in *)
  Format.printf "env = %a@." (fun x -> Environment.print x) env;
  Format.printf "expr = %a@." (fun x -> Texpr1.print x) texpr;
  let cons1 = Tcons1.make texpr1 Lincons0.SUPEQ in
  let cons2 = Tcons1.make texpr2 Lincons0.SUPEQ in

  let tab = Tcons1.array_make env 2 in
  Tcons1.array_set tab 0 cons1;
  Tcons1.array_set tab 1 cons2;
  let abs = Abstract1.of_tcons_array manpk env tab in
  let tab' = Abstract1.to_tcons_array manpk abs in
  Format.printf "tab = %a@." (fun x -> Tcons1.array_print x) tab;
  Format.printf "tab1 = %a@." (fun x -> Tcons1.array_print x) tab'

######################################################################
# HAS Flags
######################################################################

# If defined to non-empty value, generates dynamic libraries.
# Do not forget to add -fPIC to CFLAGS and CFLAGS_DEBUG
HAS_SHARED=1

# If defined to non-empty value, compiles the OCaml interface (bytecode)
# HAS_OCAML = 1
# If defined to non-empty value, compiles the OCaml interface (native code)
# HAS_OCAMLOPT = 1

# If defined to non-empty value, compiles the C++ interface (beta version)
# HAS_CPP = 1

# If defined to non-empty value, compiles the PPL domain
# (require included patch to PPL, see ppl/README and ppl/ppl.patch)

# HAS_PPL = 1

# If defined to non-empty value, compiles the fppol domain
# (The fppol domain requires GLPK)

# HAS_GLPK = 1

# If defined to non-empty value, support for "long double" is enabled

# HAS_LONG_DOUBLE = 1

# If defined to non-empty value, compiles the Java interface
# HAS_JAVA = 1

# If defined to non-empty value, assumed to be the right executable,
# use FINDLIB/ocamlfind package system
# (advised)
OCAMLFIND = ocamlfind

====> Running Q/A tests (stage-qa)
Warning: 'bin/octtestD' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'bin/octtestMPQ' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'bin/ap_ppl_test' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libapron.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libapron_debug.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libpolkaMPQ.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libpolkaMPQ_debug.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libpolkaRll.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libpolkaRll_debug.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libboxMPQ.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libboxD.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libboxMPFR.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libboxMPQ_debug.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libboxD_debug.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libboxMPFR_debug.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/liboctD.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/liboctD_debug.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/liboctMPQ.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/liboctMPQ_debug.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libt1pMPQ.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libt1pD.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libt1pMPFR.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libt1pMPQ_debug.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libt1pD_debug.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libt1pMPFR_debug.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libap_ppl.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libap_ppl_debug.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libap_pkgrid.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'lib/libap_pkgrid_debug.' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}

open Apron

let () =
  let man = Polka.manager_alloc_loose () in
  let env = Environment.make [||] [||] in
  let cond = Parser.tcons1_of_lstring env [
      "0 <= 0";
      "0 <= 100 - 1";
    ]
  in
  let top = Abstract1.top man env in
  for i = 0 to 100 do
    Format.printf "Iteration %d@." i;
    let _ = Abstract1.meet_tcons_array man top cond in
    ()
  done;
  ()

Iteration 0
==22150== Invalid read of size 4
==22150==    at 0x4A7776A: itv_canonicalize_MPQ (in /home/mine/.opam/4.08.1/share/apron/lib/libapron.so)
==22150==    by 0x4A8369C: itv_boxize_lincons_array_MPQ (in /home/mine/.opam/4.08.1/share/apron/lib/libapron.so)
==22150==    by 0x4A03C67: ap_intlinearize_tcons0_array_MPQ (in /home/mine/.opam/4.08.1/share/apron/lib/libapron.so)
==22150==    by 0x49F2FF0: ap_generic_meet_intlinearize_tcons_array (in /home/mine/.opam/4.08.1/share/apron/lib/libapron.so)
==22150==    by 0x49B6F5E: pk_meet_tcons_array (in /home/mine/.opam/4.08.1/share/apron/lib/libpolkaMPQ.so)
==22150==    by 0x49EFBF6: ap_abstract0_meet_tcons_array (in /home/mine/.opam/4.08.1/share/apron/lib/libapron.so)
==22150==    by 0x49F9EC6: ap_abstract1_meet_tcons_array (in /home/mine/.opam/4.08.1/share/apron/lib/libapron.so)
==22150==    by 0x21BC31: camlidl_abstract1_ap_abstract1_meet_tcons_array (in /home/mine/tmp/bug-apron/main.native)
==22150==    by 0x1BA78A: camlMain__entry (in /home/mine/tmp/bug-apron/main.native)
==22150==    by 0x1B81C8: caml_program (in /home/mine/tmp/bug-apron/main.native)
==22150==    by 0x25516F: ??? (in /home/mine/tmp/bug-apron/main.native)
==22150==    by 0x255554: caml_startup_common (startup_nat.c:160)
==22150==  Address 0x5102f04 is 20 bytes after a block of size 0 alloc'd
==22150==    at 0x483677F: malloc (vg_replace_malloc.c:299)
==22150==    by 0x4A7B8EA: itv_array_set_ap_interval_array_MPQ (in /home/mine/.opam/4.08.1/share/apron/lib/libapron.so)
==22150==    by 0x4A03A33: ap_intlinearize_tcons0_array_MPQ (in /home/mine/.opam/4.08.1/share/apron/lib/libapron.so)
==22150==    by 0x49F2FF0: ap_generic_meet_intlinearize_tcons_array (in /home/mine/.opam/4.08.1/share/apron/lib/libapron.so)
==22150==    by 0x49B6F5E: pk_meet_tcons_array (in /home/mine/.opam/4.08.1/share/apron/lib/libpolkaMPQ.so)
==22150==    by 0x49EFBF6: ap_abstract0_meet_tcons_array (in /home/mine/.opam/4.08.1/share/apron/lib/libapron.so)
==22150==    by 0x49F9EC6: ap_abstract1_meet_tcons_array (in /home/mine/.opam/4.08.1/share/apron/lib/libapron.so)
==22150==    by 0x21BC31: camlidl_abstract1_ap_abstract1_meet_tcons_array (in /home/mine/tmp/bug-apron/main.native)
==22150==    by 0x1BA78A: camlMain__entry (in /home/mine/tmp/bug-apron/main.native)
==22150==    by 0x1B81C8: caml_program (in /home/mine/tmp/bug-apron/main.native)
==22150==    by 0x25516F: ??? (in /home/mine/tmp/bug-apron/main.native)
==22150==    by 0x255554: caml_startup_common (startup_nat.c:160)

Picked up _JAVA_OPTIONS: -Duser.language=en

  public static void distinctTest(Manager manager) throws ApronException {
    //x,y = 0 and x != y
    Texpr1VarNode x = new Texpr1VarNode("x");
    Texpr1VarNode y = new Texpr1VarNode("y");
    Texpr1BinNode leftArg = new Texpr1BinNode(Texpr1BinNode.OP_SUB, x,y);
    Environment environment = new Environment(new String[]{"x","y"},new String[]{});
    Tcons1 xIsZero = new Tcons1(environment, Tcons1.EQ,x);
    Tcons1 yIsZero = new Tcons1(environment, Tcons1.EQ,y);
    Tcons1 constraint = new Tcons1(environment,Tcons1.DISEQ,leftArg);
    Abstract1 abstract1 = new Abstract1(manager, new Tcons1[]{xIsZero,yIsZero,constraint});
    Preconditions.checkArgument(abstract1.isBottom(manager));
  }

  public static void main(String[] args) throws ApronException {
    Manager manager = new Polka(false);
    distinctTest(manager);
  }

gmake[2]: Entering directory '/usr/ports/math/apron/work/apron-0.9.14/itv'
/usr/bin/install -d /usr/ports/math/apron/work/stage/usr/local/include /usr/ports/math/apron/work/stage/usr/local/lib
/usr/bin/install itv.h itv_fun.h itv_config.h itv_linexpr.h itv_linearize.h /usr/ports/math/apron/work/stage/usr/local/include
for i in libitvIl.a libitvIll.a libitvRl.a libitvRll.a libitvMPZ.a libitvMPQ.a libitvD.a libitvMPFR.a libitv.a libitvDl.a; do \
        if test -f $i; then /usr/bin/install --strip $i /usr/ports/math/apron/work/stage/usr/local/lib; fi; \
done
install: illegal option -- -
usage: install [-bCcpSsUv] [-f flags] [-g group] [-m mode] [-o owner]
               [-M log] [-D dest] [-h hash] [-T tags]
               [-B suffix] [-l linkflags] [-N dbdir]
               file1 file2
       install [-bCcpSsUv] [-f flags] [-g group] [-m mode] [-o owner]
               [-M log] [-D dest] [-h hash] [-T tags]
               [-B suffix] [-l linkflags] [-N dbdir]
               file1 ... fileN directory
       install -dU [-vU] [-g group] [-m mode] [-N dbdir] [-o owner]
               [-M log] [-D dest] [-h hash] [-T tags]
               directory ...

$ make
(cd num; make all)
make[1]: Entering directory '/cygdrive/d/apron-0.9.13/apron-0.9.13/num'
make[1]: Nothing to be done for 'all'.
make[1]: Leaving directory '/cygdrive/d/apron-0.9.13/apron-0.9.13/num'
(cd itv; make all)
make[1]: Entering directory '/cygdrive/d/apron-0.9.13/apron-0.9.13/itv'
make[1]: Nothing to be done for 'all'.
make[1]: Leaving directory '/cygdrive/d/apron-0.9.13/apron-0.9.13/itv'
(cd apron; make all)
make[1]: Entering directory '/cygdrive/d/apron-0.9.13/apron-0.9.13/apron'
x86_64-w64-mingw32-gcc.exe  -I../num -I../itv -I/usr/include -E -MM ap_scalar.c ap_interval.c ap_coeff.c ap_dimension.c ap_linexpr0.c ap_lincons0.c ap_generator0.c ap_texpr0.c ap_tcons0.c ap_manager.c ap_abstract0.c ap_policy.c ap_generic.c ap_var.c ap_environment.c ap_linexpr1.c ap_lincons1.c ap_generator1.c ap_texpr1.c ap_tcons1.c ap_abstract1.c ap_linearize.c ap_reducedproduct.c ap_disjunction.c  > depend
make[1]: Nothing to be done for 'all'.
make[1]: Leaving directory '/cygdrive/d/apron-0.9.13/apron-0.9.13/apron'
(cd newpolka; make all)
make[1]: Entering directory '/cygdrive/d/apron-0.9.13/apron-0.9.13/newpolka'
make[1]: Nothing to be done for 'all'.
make[1]: Leaving directory '/cygdrive/d/apron-0.9.13/apron-0.9.13/newpolka'
(cd box; make all)
make[1]: Entering directory '/cygdrive/d/apron-0.9.13/apron-0.9.13/box'
make[1]: Nothing to be done for 'all'.
make[1]: Leaving directory '/cygdrive/d/apron-0.9.13/apron-0.9.13/box'
(cd octagons; make MPQ D)
make[1]: Entering directory '/cygdrive/d/apron-0.9.13/apron-0.9.13/octagons'
make[1]: Nothing to be done for 'MPQ'.
make[1]: Nothing to be done for 'D'.
make[1]: Leaving directory '/cygdrive/d/apron-0.9.13/apron-0.9.13/octagons'
(cd taylor1plus; make all)
make[1]: Entering directory '/cygdrive/d/apron-0.9.13/apron-0.9.13/taylor1plus'
make[1]: Nothing to be done for 'all'.
make[1]: Leaving directory '/cygdrive/d/apron-0.9.13/apron-0.9.13/taylor1plus'
(cd japron; make)
make[1]: Entering directory '/cygdrive/d/apron-0.9.13/apron-0.9.13/japron'
x86_64-w64-mingw32-gcc.exe -Wcast-qual -Wswitch -Werror-implicit-function-declaration -Wall -Wextra -Wundef -Wbad-function-cast -Wcast-align -Wstrict-prototypes -Wno-unused -Wno-unused-parameter -Wno-unused-function -std=c99 -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Wno-int-to-pointer-cast -Wno-pointer-to-int-cast -Wno-bad-function-cast -c  -I/usr/include -I/usr/include -I/usr/include -IC:\Program Files\Java\jdk-16.0.1/include -IC:\Program Files\Java\jdk-16.0.1/include/linux -I../apron -I../box -I../newpolka -I../octagons -I../ppl -I../products -I C:\Program\ Files\Java\jdk1.8.0_291\include -I C:\Program\ Files\Java\jdk1.8.0_291\include\win32  gmp/gmp_Mpfr.c -o gmp/gmp_Mpfr.o
gmp/gmp_Mpfr.c: In function ‘Java_gmp_Mpfr_root’:
gmp/gmp_Mpfr.c:830:3: warning: ‘mpfr_root’ is deprecated [-Wdeprecated-declarations]
  830 |   return mpfr_root(as_mpfr(o1), as_mpfr(o2), i, p);
      |   ^~~~~~
In file included from gmp/jgmp.h:16,
                 from gmp/gmp_Mpfr.c:11:
/usr/x86_64-w64-mingw32/sys-root/mingw/include/mpfr.h:727:21: note: declared here
  727 | __MPFR_DECLSPEC int mpfr_root (mpfr_ptr, mpfr_srcptr, unsigned long,
      |                     ^~~~~~~~~
gmp/gmp_Mpfr.c: At top level:
gmp/gmp_Mpfr.c:1729:24: error: conflicting types for ‘Java_gmp_Mpfr_jn’; have ‘jint(const struct JNINativeInterface_ **, struct _jobject *, int,  struct _jobject *, jint)’ {aka ‘long int(const struct JNINativeInterface_ **, struct _jobject *, int,  struct _jobject *, long int)’}
 1729 | JNIEXPORT jint JNICALL Java_gmp_Mpfr_jn
      |                        ^~~~~~~~~~~~~~~~
In file included from gmp/gmp_Mpfr.c:12:
gmp/gmp_Mpfr.h:1039:24: note: previous declaration of ‘Java_gmp_Mpfr_jn’ with type ‘jint(const struct JNINativeInterface_ **, struct _jobject *, jint,  struct _jobject *, jint)’ {aka ‘long int(const struct JNINativeInterface_ **, struct _jobject *, long int,  struct _jobject *, long int)’}
 1039 | JNIEXPORT jint JNICALL Java_gmp_Mpfr_jn
      |                        ^~~~~~~~~~~~~~~~
make[1]: *** [Makefile:133: gmp/gmp_Mpfr.o] Error 1
make[1]: Leaving directory '/cygdrive/d/apron-0.9.13/apron-0.9.13/japron'
make: *** [Makefile:35: java] Error 2

#0  0x00007fffee74d9d8 in __gmpn_rshift () from /lib/x86_64-linux-gnu/libgmp.so.10
#1  0x00007fffee77eb25 in __gmpn_divexact () from /lib/x86_64-linux-gnu/libgmp.so.10
#2  0x00007fffee73ac98 in __gmpz_divexact () from /lib/x86_64-linux-gnu/libgmp.so.10
#3  0x00007fffee1f6ec3 in vector_set_itv_linexpr () from /home/mm7/.opam/default/share/apron/lib/libpolkaMPQ.so
#4  0x00007fffee1f702e in vector_set_itv_lincons () from /home/mm7/.opam/default/share/apron/lib/libpolkaMPQ.so
#5  0x00007fffee1f7482 in matrix_set_itv_lincons_array () from /home/mm7/.opam/default/share/apron/lib/libpolkaMPQ.so
#6  0x00007fffee203593 in poly_meet_itv_lincons_array () from /home/mm7/.opam/default/share/apron/lib/libpolkaMPQ.so
#7  0x00007fffee203859 in pk_meet_lincons_array () from /home/mm7/.opam/default/share/apron/lib/libpolkaMPQ.so
#8  0x00007fffee630f29 in ap_abstract0_meet_lincons_array () from /home/mm7/.opam/default/share/apron/lib/libapron.so
#9  0x00007fffee63aea9 in ap_abstract1_meet_lincons_array () from /home/mm7/.opam/default/share/apron/lib/libapron.so
#10 0x000055555593e845 in camlidl_abstract1_ap_abstract1_meet_lincons_array_with ()
#11 0x000055555579d2ef in camlDune__exe__Newmain4__main_465 () at abstract1.ml:270
#12 0x000055555579d39f in camlDune__exe__Newmain4__entry () at driver/newmain4.ml:23
#13 0x00005555557988c9 in caml_program ()
#14 0x0000555555976781 in caml_start_program ()
#15 0x0000555555976aec in caml_startup_common (argv=0x7fffffffdd88, pooling=<optimized out>, pooling@entry=0) at startup_nat.c:160
#16 0x0000555555976b6b in caml_startup_exn (argv=<optimized out>) at startup_nat.c:167
#17 caml_startup (argv=<optimized out>) at startup_nat.c:172
#18 caml_main (argv=<optimized out>) at startup_nat.c:179
#19 0x0000555555797cdc in main (argc=<optimized out>, argv=<optimized out>) at main.c:37

int m = rand(2, 9);
int y = rand(0, 2020);
int y2 = y + ((m + 1) / 12);

Applying constraint [|x -_i,n 1 <> 0|]
to abtract value [|x-1>=0; -x+1>=0|]
yields [|x-1>=0; -x+1>=0|]

...
lib/avo.idl
lib/libap_pkgrid.
lib/libap_pkgrid.a
lib/libap_pkgrid_debug.
lib/libap_pkgrid_debug.a
lib/libap_ppl.
lib/libap_ppl.a
lib/libap_ppl_debug.
lib/libap_ppl_debug.a
lib/libapron.
lib/libapron.a
lib/libapron_debug.
lib/libapron_debug.a
lib/libavoD.
...