blob: d7fcf61f55bd3db8415702fa4cb57fd8043df2d6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
diff --git a/Makefile b/Makefile
index a28398f..a86d049 100644
--- a/Makefile
+++ b/Makefile
@@ -24,7 +24,7 @@ install: all
# Manually copying the remaining files
# $(V)cp src/quickChickLib.cmx $(COQLIB)/user-contrib/QuickChick
# $(V)cp src/quickChickLib.o $(COQLIB)/user-contrib/QuickChick
- $(V)cp src/quickChickTool $(shell echo $(PATH) | tr ':' "\n" | grep opam | uniq)/quickChick
+ $(V)cp src/quickChickTool $(COQLIB)/user-contrib/QuickChick
src/quickChickToolLexer.cmo : src/quickChickToolLexer.mll
ocamllex src/quickChickToolLexer.mll
|