Merge pull request #32 from djs55/no-runtime-ppx

Don't link PPX rewriters into clients
mirage · Jun 5, 2017 · ad8e000 · ad8e000
2 parents a357803 + 0cd1279
commit ad8e000
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/jbuild b/core/jbuild
@@ -2,7 +2,7 @@
  ((name xenstore)
   (public_name xenstore)
   (wrapped false)
-  (libraries (cstruct cstruct.ppx))
+  (libraries (cstruct))
   (preprocess (pps (cstruct.ppx)))
 ))