hongjisung / sygusml Goto Github PK

~/sygusml$ make run_examples
ocamlbuild -clean
Finished, 0 targets (0 cached) in 00:00:00.
00:00:00 0    (0   ) STARTING                                                                                -------- |ocamlbuild -use-ocamlfind -use-menhir -r -package batteries -package z3 -tags thread -Is src/,src/types,src/utils,src/solver,benchmarks/ main.native
+ ocamlfind ocamlc -c -thread -package z3 -package batteries -I src/solver -I src -I benchmarks -I src/utils -I src/types -o src/solver/z3solver.cmo src/solver/z3solver.ml
File "src/solver/z3solver.ml", line 8, characters 43-47:
Error: This expression has type Z3.Expr.expr
       but an expression was expected of type Z3.AST.ASTVector.ast_vector
Command exited with code 2.
Compilation unsuccessful after building 20 targets (0 cached) in 00:00:01.
Makefile:7: recipe for target 'run_examples' failed
make: *** [run_examples] Error 10

~/sygusml$ lsb_release -a
No LSB modules are available.
Distributor ID: Ubuntu
Description:    Ubuntu 18.04.2 LTS
Release:        18.04
Codename:       bionic

~/sygusml$ ocaml --version
The OCaml toplevel, version 4.05.0

~/sygusml$ opam --version
1.2.2

~/sygusml$ opam list
# Installed packages for system:
base-bigarray        base  Bigarray library distributed with the OCaml compiler
base-num             base  Num library distributed with the OCaml compiler
base-threads         base  Threads library distributed with the OCaml compiler
base-unix            base  Unix library distributed with the OCaml compiler
batteries           2.8.0  a community-maintained standard library extension
conf-gmp                1  Virtual package relying on a GMP lib system installation.
conf-m4                 1  Virtual package relying on m4
conf-python-2-7       1.0  Virtual package relying on Python-2.7 installation.
depext              1.0.5  Query and install external dependencies of OPAM packages
menhir           20180905  LR(1) parser generator
num                     0  The Num library for arbitrary-precision integer and ratio
ocamlbuild         0.12.0  OCamlbuild is a build system with builtin rules to easily
ocamlfind           1.8.0  A library manager for OCaml
z3                  4.7.1  Z3 solver

~/sygusml$ git rev-parse HEAD
f062d07ce2dee338713be834d64e3ec442c02ea0