Skip to content
Permalink
Browse files

z3 in build

  • Loading branch information...
scauligi committed Aug 14, 2018
1 parent ae37ad4 commit af228d51a92f2d1dcd2cf358fe97ba2b56fa506a
Showing with 9 additions and 2 deletions.
  1. +1 −0 .merlin
  2. +4 −0 README.md
  3. +1 −1 _oasis
  4. +3 −1 _tags
@@ -13,5 +13,6 @@ PKG lwt
PKG ANSITerminal
PKG dolog
PKG lwt.unix
PKG z3

EXT lwt
@@ -41,6 +41,10 @@ If you have not setup oasis, then you must do that first.
```oasis setup```
Make sure the Z3 lib is in the path:
```export LD_LIBRARY_PATH="$HOME/.opam/4.06.0/lib/z3"```
Finally we can build the compiler.
```make```
2 _oasis
@@ -6,7 +6,7 @@ Authors: Gary Soeller, Sunjay Cauligi, Brian Johannesmeyer, Ariana Mirian, Y
Homepage: https://github.com/PLSysSec/FaCT
License: MIT
Plugins: META (0.4), DevFiles (0.4)
BuildDepends: llvm, llvm.analysis, llvm.bitwriter, llvm.executionengine, llvm.target, llvm.passmgr_builder, llvm.irreader, llvm.linker, llvm.transform_utils, llvm.scalar_opts, llvm.vectorize, llvm.ipo, core, threads, ppx_deriving.std, lwt.unix, ANSITerminal, dolog, str
BuildDepends: llvm, llvm.analysis, llvm.bitwriter, llvm.executionengine, llvm.target, llvm.passmgr_builder, llvm.irreader, llvm.linker, llvm.transform_utils, llvm.scalar_opts, llvm.vectorize, llvm.ipo, core, threads, ppx_deriving.std, lwt.unix, ANSITerminal, dolog, str, z3
OCamlVersion: >= 4.05
AlphaFeatures: ocamlbuild_more_args
XOCamlbuildPluginTags: package(cppo_ocamlbuild)
4 _tags
@@ -3,7 +3,7 @@ true: use_menhir, bin_annot, debug
<*.{byte,native}>: g++, use_llvm, use_llvm_analysis, use_llvm_bitwriter, use_llvm_irreader, use_llvm_linker, use_llvm_target, use_llvm_X86, use_llvm_bitreader, use_llvm_executionengine

# OASIS_START
# DO NOT EDIT (digest: f2cbe7e31d28567133ae76ffcada8016)
# DO NOT EDIT (digest: be84367006abea1c6aa9be4a8cc99ec3)
# Ignore VCS directories, you can use the same kind of rule outside
# OASIS_START/STOP if you want to exclude directories that contains
# useless stuff for the build process
@@ -38,6 +38,7 @@ true: annot, bin_annot
"src/fact.byte": package(ppx_deriving.std)
"src/fact.byte": package(str)
"src/fact.byte": package(threads)
"src/fact.byte": package(z3)
<src/*.ml{,i,y}>: package(ANSITerminal)
<src/*.ml{,i,y}>: package(core)
<src/*.ml{,i,y}>: package(dolog)
@@ -57,6 +58,7 @@ true: annot, bin_annot
<src/*.ml{,i,y}>: package(ppx_deriving.std)
<src/*.ml{,i,y}>: package(str)
<src/*.ml{,i,y}>: package(threads)
<src/*.ml{,i,y}>: package(z3)
# OASIS_STOP
"perf": -traverse
"perf": not_hygienic

0 comments on commit af228d5

Please sign in to comment.
You can’t perform that action at this time.