(env) mvh:release$ sudo ctest
Test project /home/mvh/tools/dreal/build/release
Start 1: style_check
1/3010 Test #1: style_check ........................................................ Passed 4.61 sec
Start 2: test_adept
2/3010 Test #2: test_adept ......................................................... Passed 0.00 sec
Start 3: c_api_bool_01
3/3010 Test #3: c_api_bool_01 ...................................................... Passed 0.00 sec
Start 4: c_api_dreal_api_test1
4/3010 Test #4: c_api_dreal_api_test1 .............................................. Passed 0.00 sec
Start 5: c_api_dreal_jl_01
5/3010 Test #5: c_api_dreal_jl_01 .................................................. Passed 0.00 sec
Start 6: c_api_dreal_jl_02
6/3010 Test #6: c_api_dreal_jl_02 .................................................. Passed 0.01 sec
Start 7: c_api_ea_01
7/3010 Test #7: c_api_ea_01 ........................................................ Passed 0.01 sec
Start 8: c_api_ea_02
8/3010 Test #8: c_api_ea_02 ........................................................ Passed 0.00 sec
Start 9: c_api_example_01
9/3010 Test #9: c_api_example_01 ................................................... Passed 0.03 sec
Start 10: c_api_example_02
... etc
I then installed all the tools using those same instructions.
(env) mvh:tools$ sudo make
ocaml setup.ml -configure
File "./setup.ml", line 1775, characters 22-40:
1775 | let compare = Pervasives.compare
^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "setup.ml", line 3467, characters 16-34:
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Configuration:
ocamlfind: ........................................... /usr/bin/ocamlfind
ocamlc: .............................................. /usr/bin/ocamlc.opt
ocamlopt: ............................................ /usr/bin/ocamlopt.opt
ocamlbuild: .......................................... /usr/bin/ocamlbuild
Package name: ........................................ dReal
Package version: ..................................... `
os_type: ............................................. Unix
system: .............................................. linux
architecture: ........................................ amd64
ccomp_type: .......................................... cc
ocaml_version: ....................................... 4.08.1
standard_library_default: ............................ /usr/lib/ocaml
standard_library: .................................... /usr/lib/ocaml
bytecomp_c_compiler: ................................. x86_64-linux-gnu-gcc -O2 -fno-strict-aliasing -fwrapv -fPIC -D_FILE_OFFSET_BITS=64 -D_REENTRANT
native_c_compiler: ................................... x86_64-linux-gnu-gcc -O2 -fno-strict-aliasing -fwrapv -D_FILE_OFFSET_BITS=64 -D_REENTRANT
model: ............................................... default
ext_obj: ............................................. .o
ext_asm: ............................................. .s
ext_lib: ............................................. .a
ext_dll: ............................................. .so
default_executable_name: ............................. a.out
systhread_supported: ................................. true
Install architecture-independent files dir: .......... /usr/local
Install architecture-dependent files in dir: ......... $prefix
User executables: .................................... $exec_prefix/bin
System admin executables: ............................ $exec_prefix/sbin
Program executables: ................................. $exec_prefix/libexec
Read-only single-machine data: ....................... $prefix/etc
Modifiable architecture-independent data: ............ $prefix/com
Modifiable single-machine data: ...................... $prefix/var
Object code libraries: ............................... $exec_prefix/lib
Read-only arch-independent data root: ................ $prefix/share
Read-only architecture-independent data: ............. $datarootdir
Info documentation: .................................. $datarootdir/info
Locale-dependent data: ............................... $datarootdir/locale
Man documentation: ................................... $datarootdir/man
Documentation root: .................................. $datarootdir/doc/$pkg_name
HTML documentation: .................................. $docdir
DVI documentation: ................................... $docdir
PDF documentation: ................................... $docdir
PS documentation: .................................... $docdir
findlib_version: ..................................... 1.8.1
is_native: ........................................... true
suffix_program: ......................................
Remove a file.: ...................................... rm -f
Remove a directory.: ................................. rm -rf
Turn ocaml debug flag on: ............................ true
Turn ocaml profile flag on: .......................... false
Compiler support generation of .cmxs.: ............... true
OCamlbuild additional flags: .........................
Create documentations: ............................... true
Compile tests executable and library and run them: ... false
pkg_batteries: ....................................... /usr/lib/ocaml/batteries
ocaml setup.ml -build
File "./setup.ml", line 1775, characters 22-40:
1775 | let compare = Pervasives.compare
^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "setup.ml", line 3467, characters 16-34:
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Finished, 1 target (0 cached) in 00:00:00.
findlib: [WARNING] cannot read directory /usr/lib/ocaml/METAS: No such file or directory
+ /usr/bin/ocamlyacc parsing/drh_parser.mly
99 shift/reduce conflicts, 1 reduce/reduce conflict.
+ /usr/bin/ocamlyacc smt2/smt2parser.mly
93 shift/reduce conflicts, 2 reduce/reduce conflicts.
Finished, 107 targets (0 cached) in 00:00:03.
(env) mvh:build$ ./sreach_sq ../statistical_test/test01 ../models/02_bouncing_ball_with_drag.pdrh dreach 8 0.001
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
sh: 1: dreach: not found
BEST 0.01 0.99 1 1: estimate = 0.00436681, successes = 0, samples = 227
total combinations are227
Do you have any notion what could be wrong? Do I need to do something more, in order to make dreach
globally available? Do I need to recompile sreach
? I am on Linux Mint 20. Thanks!