Build #1 for Omega-1.0.3

[all reports]

Package Omega-1.0.3
Install InstallOk
Docs Ok
Tests NotTried
Time submitted unknown
Compiler ghc-7.6.3
OS linux
Arch x86_64
Dependencies containers-0.5.0.0, base-4.6.0.1
Flags -useinstalledomega

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

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<int>&, 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