Skip to content
Permalink
Browse files

Merge PR #120: Build z3 in Makefile

  • Loading branch information...
cwgoes committed Oct 2, 2019
1 parent 531bd58 commit 534fc21d3e59e6228444f07e4de345aabc948154
Showing with 21 additions and 1 deletion.
  1. +3 −0 .gitmodules
  2. +10 −1 Makefile
  3. +1 −0 package.yaml
  4. +6 −0 stack.yaml
  5. +1 −0 z3
@@ -0,0 +1,3 @@
[submodule "z3"]
path = z3
url = git@github.com:Z3Prover/z3.git
@@ -1,8 +1,17 @@
PWD=$(CURDIR)
PREFIX="$(PWD)/.stack-work/prefix"

all: setup build

setup:
stack build --only-dependencies

build-z3:
mkdir -p $(PREFIX)
cd z3 && test -f build/Makefile || python scripts/mk_make.py -p $(PREFIX)
cd z3/build && make -j $(shell nproc)
cd z3/build && make install

build:
stack build --copy-bins --fast

@@ -33,4 +42,4 @@ clean:
clean-full:
stack clean --full

.PHONY: all setup build build-watch build-opt lint format test repl-lib repl-exe clean clean-full
.PHONY: all setup build build-z3 build-watch build-opt lint format test repl-lib repl-exe clean clean-full
@@ -60,6 +60,7 @@ ghc-options:
- -fno-warn-orphans
- -fno-warn-name-shadowing
- -j6
- -static

library:
source-dirs: src
@@ -10,3 +10,9 @@ extra-deps:
commit: 889597234bcdf5620c5a69d3405ab4d607ba4d71

allow-newer: true

extra-lib-dirs:
- .stack-work/prefix/lib

extra-include-dirs:
- .stack-work/prefix/include
1 z3
Submodule z3 added at a63504

0 comments on commit 534fc21

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