fws/Makefile at master · secgroup/fws · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
.PHONY: repl clean

SANDBOX = cabal.sandbox.config

all: fws

venv:
	virtualenv --python=python2 venv/; \
	. venv/bin/activate; \
	pip install ipaddr parsec==3.5 textx==1.8.0 Flask
	. venv/bin/activate; cd lib/HaPy-python; python setup.py install
	. venv/bin/activate; python setup.py install

$(SANDBOX): FireWallSynthesizer.cabal venv
	./update_libs.sh
	cabal sandbox init --sandbox=venv/
	cabal sandbox add-source lib/z3-haskell
	cabal sandbox add-source lib/HaPy-haskell
	cabal install --dependencies-only

fws: $(SANDBOX) src/*.hs src/FWS/*.hs
	cabal install

repl: $(SANDBOX)
	cabal repl

clean:
	rm -fr lib/z3-haskell/dist
	rm -fr lib/HaPy-haskell/dist
	rm -fr lib/HaPy-python/build
	rm -fr build/
	cabal clean
	rm -fr venv/
	rm -f cabal.sandbox.config