makefile 242 Bytes
Newer Older
Benoit Viguier's avatar
Benoit Viguier committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
all: coq-tweetnacl-spec coq-tweetnacl-vst


coq-tweetnacl-spec:
	cd proofs/spec ;\
	./configure.sh ;\
	$(MAKE) -j ;\
	$(MAKE) install

coq-tweetnacl-vst: coq-tweetnacl-spec
	cd proofs/vst ;\
	./configure.sh ;\
	$(MAKE) -j ;\
	$(MAKE) install