12 lines
422 B
Diff
12 lines
422 B
Diff
--- a/src/_tags 2014-10-01 16:19:35.000000000 +0100
|
|
+++ b/src/_tags 2014-11-09 16:55:34.470663377 +0000
|
|
@@ -40,7 +40,7 @@
|
|
<lib/server/monitor/*.ml{,i}>:I(src/lib/server)
|
|
|
|
<syntax/pa_*.*>: syntax(camlp4o),package(camlp4.quotations.o,camlp4.extend,bytes)
|
|
-<syntax/pa_*.ml{,i}>: I(+camlp4/Camlp4Parsers)
|
|
+<syntax/pa_*.ml{,i}>: use_camlp4_full
|
|
|
|
<ppx/**/*>: package(ppx_tools, compiler-libs.common, ppx_tools.metaquot)
|
|
|
|
|