Resolving dependencies... Downloading Omega-1.0.3... [1 of 1] Compiling Main ( /tmp/Omega-1.0.3-17689/Omega-1.0.3/Setup.hs, /tmp/Omega-1.0.3-17689/Omega-1.0.3/dist/setup/Main.o ) Linking /tmp/Omega-1.0.3-17689/Omega-1.0.3/dist/setup/setup ... [1 of 1] Compiling Main ( DoSetup.hs, dist/setup/Main.o ) [flags changed] Linking dist/setup/do-setup ... Configuring Omega-1.0.3... checking for g++... g++ checking for C++ compiler default output file name... a.out checking whether the C++ compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes configure: will build the Omega library from source configure: creating ./config.status config.status: creating Makefile cd src && \ tar -xzf the-omega-project.tar.gz cd src/the-omega-project && \ /usr/bin/make depend CONFIGURE_CXXFLAGS="-Isrc -g -O2" CONFIGURE_LDFLAGS="" CONFIGURE_LIBS="" CONFIGURE_CXX="g++" && \ /usr/bin/make libomega.a CONFIGURE_CXXFLAGS="-Isrc -g -O2" CONFIGURE_LDFLAGS="" CONFIGURE_LIBS="" CONFIGURE_CXX="g++" make[1]: Entering directory `/tmp/Omega-1.0.3-17689/Omega-1.0.3/src/the-omega-project' Makedepend in omega_lib: make[2]: Entering directory `/tmp/Omega-1.0.3-17689/Omega-1.0.3/src/the-omega-project/omega_lib/obj' cp /dev/null Makefile.deps makedepend -I../../basic/include -I../include -fMakefile.deps ../src/reach.c ../src/closure.c ../src/lib_hack.c ../src/AST.c ../src/Relations.c ../src/Relation.c ../src/RelBody.c ../src/RelVar.c ../src/evac.c ../src/farkas.c ../src/hull.c ../src/pres_print.c ../src/pres_rear.c ../src/pres_beaut.c ../src/pres_dnf.c ../src/pres_conj.c ../src/pres_quant.c ../src/pres_decl.c ../src/pres_logic.c ../src/pres_form.c ../src/pres_cnstr.c ../src/pres_var.c ../src/pres_gen.c ../src/pres_col.c ../src/pres_subs.c ../src/omega_core/oc.c ../src/omega_core/oc_solve.c ../src/omega_core/oc_simple.c ../src/omega_core/oc_eq.c ../src/omega_core/oc_problems.c ../src/omega_core/oc_print.c ../src/omega_core/oc_quick_kill.c ../src/omega_core/oc_exp_kill.c ../src/omega_core/oc_query.c ../src/omega_core/oc_util.c ../src/omega_core/oc_global.c ../../basic/src/ConstString.c ../../basic/src/Link.c > /dev/null 2>1 make[2]: *** [depend_self] Error 127 make[2]: Leaving directory `/tmp/Omega-1.0.3-17689/Omega-1.0.3/src/the-omega-project/omega_lib/obj' make[1]: Leaving directory `/tmp/Omega-1.0.3-17689/Omega-1.0.3/src/the-omega-project' make[1]: Entering directory `/tmp/Omega-1.0.3-17689/Omega-1.0.3/src/the-omega-project' cd omega_lib/obj; /usr/bin/make libomega.a make[2]: Entering directory `/tmp/Omega-1.0.3-17689/Omega-1.0.3/src/the-omega-project/omega_lib/obj' g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/omega_core/oc.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/omega_core/oc_solve.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/omega_core/oc_simple.c ../src/omega_core/oc_simple.c: In member function ‘omega::normalizeReturnType omega::Problem::normalize()’: ../src/omega_core/oc_simple.c:1190:55: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/omega_core/oc_eq.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/omega_core/oc_problems.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/omega_core/oc_print.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/omega_core/oc_query.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/omega_core/oc_quick_kill.c ../src/omega_core/oc_quick_kill.c: In member function ‘int omega::Problem::chainKill(int, int)’: ../src/omega_core/oc_quick_kill.c:219:9: warning: variable ‘triedDoubleKill’ set but not used [-Wunused-but-set-variable] g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/omega_core/oc_exp_kill.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/omega_core/oc_util.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/omega_core/oc_global.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../../basic/src/Exit.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../../basic/src/ConstString.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../../basic/src/Link.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/reach.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/closure.c ../src/closure.c: In function ‘omega::Relation omega::get_D_form(omega::Relation&)’: ../src/closure.c:98:9: warning: variable ‘n_zero’ set but not used [-Wunused-but-set-variable] ../src/closure.c: In function ‘omega::Relation omega::TransitiveClosure0(const omega::Relation&, int, const omega::Relation&)’: ../src/closure.c:1383:11: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wparentheses] ../src/closure.c:1412:8: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wparentheses] ../src/closure.c:1431:12: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wparentheses] ../src/closure.c:1445:9: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wparentheses] ../src/closure.c:1462:13: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wparentheses] g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/lib_hack.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/AST.c ../src/AST.c: In function ‘omega::Exp* omega::negate(omega::Exp*)’: ../src/AST.c:46:2: warning: unused variable ‘c’ [-Wunused-variable] ../src/AST.c: In function ‘omega::Exp* omega::multiply(int, omega::Exp*)’: ../src/AST.c:66:2: warning: unused variable ‘r’ [-Wunused-variable] g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/Relations.c ../src/Relations.c: In function ‘omega::Relation omega::Gist(const omega::Relation&, const omega::Relation&, int)’: ../src/Relations.c:1431:6: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] ../src/Relations.c: In function ‘void omega::align(omega::Rel_Body*, omega::Rel_Body*, omega::F_Exists*, omega::Formula*, const omega::Mapping&, bool&, omega::List&, omega::Variable_ID_Tuple&)’: ../src/Relations.c:1955:9: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wparentheses] ../src/Relations.c:1969:9: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wparentheses] ../src/Relations.c:1995:6: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wparentheses] ../src/Relations.c:2031:9: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wparentheses] ../src/Relations.c:2048:9: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wparentheses] ../src/Relations.c:2071:6: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wparentheses] ../src/Relations.c: In member function ‘void omega::Relation::makeSet()’: ../src/Relations.c:2330:3: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/Relation.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/RelBody.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/RelVar.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/evac.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/farkas.c ../src/farkas.c: In function ‘omega::Relation omega::Farkas(const omega::Relation&, omega::Farkas_Type)’: ../src/farkas.c:245:32: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/hull.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/pres_print.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/pres_rear.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/pres_beaut.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/pres_dnf.c ../src/pres_dnf.c: In function ‘omega::DNF* omega::conj_and_not_dnf(omega::Conjunct*, omega::DNF*, bool)’: ../src/pres_dnf.c:332:7: warning: variable ‘recursive’ set but not used [-Wunused-but-set-variable] ../src/pres_dnf.c: In member function ‘virtual omega::DNF* omega::F_Or::DNFize()’: ../src/pres_dnf.c:982:8: warning: variable ‘empty_or’ set but not used [-Wunused-but-set-variable] g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/pres_conj.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/pres_quant.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/pres_decl.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/pres_logic.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/pres_form.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/pres_cnstr.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/pres_var.c ../src/pres_var.c: In constructor ‘omega::Var_Decl::Var_Decl(omega::Const_String, omega::Var_Kind, int)’: ../src/pres_var.c:24:3: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] ../src/pres_var.c: In constructor ‘omega::Var_Decl::Var_Decl(omega::Var_Kind, int)’: ../src/pres_var.c:35:3: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/pres_gen.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/pres_col.c g++ -DOMIT_QUANTIFY_CALLS -Wall -fPIC -DSIG_HANDLER_HAS_ONE_ARG=1 -DSHUT_UP_ABOUT_STATEMENT_WITH_NO_EFFECT_IN_DYNAMIC_ARRAY_CREATION -DBATCH_ONLY_PETIT -DDAVEW_THESIS_REDUCTIONS -DSTUDY_KILL_USE -DPETIT_KILL_OBVIOUS -I../../basic/include -I../include -Isrc -g -O2 -c ../src/pres_subs.c ar r libomega.a oc.o oc_solve.o oc_simple.o oc_eq.o oc_problems.o oc_print.o oc_query.o oc_quick_kill.o oc_exp_kill.o oc_util.o oc_global.o Exit.o ConstString.o Link.o reach.o closure.o lib_hack.o AST.o Relations.o Relation.o RelBody.o RelVar.o evac.o farkas.o hull.o pres_print.o pres_rear.o pres_beaut.o pres_dnf.o pres_conj.o pres_quant.o pres_decl.o pres_logic.o pres_form.o pres_cnstr.o pres_var.o pres_gen.o pres_col.o pres_subs.o ar: creating libomega.a ranlib libomega.a touch .library make[2]: Leaving directory `/tmp/Omega-1.0.3-17689/Omega-1.0.3/src/the-omega-project/omega_lib/obj' make[1]: Leaving directory `/tmp/Omega-1.0.3-17689/Omega-1.0.3/src/the-omega-project' g++ -Isrc -g -O2 -Isrc/the-omega-project/basic/include -Isrc/the-omega-project/omega_lib/include -c src/C_omega.cc -o build/C_omega.o Building Omega-1.0.3... Preprocessing library Omega-1.0.3... [1 of 5] Compiling Data.Presburger.Omega.LowLevel ( dist/build/Data/Presburger/Omega/LowLevel.hs, dist/build/Data/Presburger/Omega/LowLevel.o ) [2 of 5] Compiling Data.Presburger.Omega.Expr ( Data/Presburger/Omega/Expr.hs, dist/build/Data/Presburger/Omega/Expr.o ) Data/Presburger/Omega/Expr.hs:105:5: Warning: Ignoring unusable UNPACK pragma on the first argument of `ExprBox' In the definition of data constructor `ExprBox' In the data declaration for `ExprBox' Data/Presburger/Omega/Expr.hs:1019:16: Warning: Pattern match(es) are overlapped In a case alternative: _ -> ... [3 of 5] Compiling Data.Presburger.Omega.SetRel ( Data/Presburger/Omega/SetRel.hs, dist/build/Data/Presburger/Omega/SetRel.o ) [4 of 5] Compiling Data.Presburger.Omega.Set ( Data/Presburger/Omega/Set.hs, dist/build/Data/Presburger/Omega/Set.o ) [5 of 5] Compiling Data.Presburger.Omega.Rel ( Data/Presburger/Omega/Rel.hs, dist/build/Data/Presburger/Omega/Rel.o ) In-place registering Omega-1.0.3... Running Haddock for Omega-1.0.3... Running hscolour for Omega-1.0.3... Preprocessing library Omega-1.0.3... Preprocessing library Omega-1.0.3... dist/build/tmp-18434/Data/Presburger/Omega/Expr.hs:105:5: Warning: Ignoring unusable UNPACK pragma on the first argument of `ExprBox' In the definition of data constructor `ExprBox' In the data declaration for `ExprBox' Haddock coverage: 100% ( 54 / 54) in 'Data.Presburger.Omega.LowLevel' 73% ( 46 / 63) in 'Data.Presburger.Omega.Expr' 14% ( 1 / 7) in 'Data.Presburger.Omega.SetRel' 80% ( 24 / 30) in 'Data.Presburger.Omega.Set' 79% ( 33 / 42) in 'Data.Presburger.Omega.Rel' Documentation created: dist/doc/html/Omega/index.html, dist/doc/html/Omega/Omega.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/Omega-1.0.3 Registering Omega-1.0.3... Installed Omega-1.0.3