pl/frap
1
0
Fork 0
mirror of https://github.com/achlipala/frap.git synced 2024-09-19 19:57:13 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add SepCancel to 'lib' target

Browse source
This commit is contained in:
Adam Chlipala 2016-04-19 14:29:02 -04:00
parent e1844abf25
commit 68b01b1047
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Makefile
View file

@ -13,7 +13,7 @@ coq: Makefile.coq
$(MAKE) -f Makefile.coq $(MAKE) -f Makefile.coq
lib: Makefile.coq lib: Makefile.coq
$(MAKE) -f Makefile.coq Frap.vo AbstractInterpret.vo $(MAKE) -f Makefile.coq Frap.vo AbstractInterpret.vo SepCancel.vo
Makefile.coq: Makefile _CoqProject *.v Makefile.coq: Makefile _CoqProject *.v
coq_makefile -f _CoqProject -o Makefile.coq coq_makefile -f _CoqProject -o Makefile.coq