PPrint working

braibant · Mar 22, 2013 · 45ce42e · 45ce42e
1 parent d51d249
commit 45ce42e
Show file tree

Hide file tree

Showing 7 changed files with 5 additions and 12 deletions.
diff --git a/Make b/Make
@@ -1,10 +1,15 @@
 -R . Invert
+-I pprint/src/
 pprint/src/PPrintCombinators.ml  
 pprint/src/PPrintOCaml.ml
 pprint/src/PPrintEngine.ml
+pprint/src/PPrintEngine.mli
 pprint/src/PPrintRenderer.ml
 pprint/src/PPrint.ml
 pprint/src/PPrintTest.ml
 print.ml
 invert.ml4
 test.v
+
+-custom "" print.cmo invert.cmo
+-custom "" print.cmx invert.cmx
diff --git a/pprint/src/PPrint.ml.d b/pprint/src/PPrint.ml.d
diff --git a/pprint/src/PPrintCombinators.ml.d b/pprint/src/PPrintCombinators.ml.d
diff --git a/pprint/src/PPrintEngine.ml.d b/pprint/src/PPrintEngine.ml.d
diff --git a/pprint/src/PPrintOCaml.ml.d b/pprint/src/PPrintOCaml.ml.d
diff --git a/pprint/src/PPrintRenderer.ml.d b/pprint/src/PPrintRenderer.ml.d
diff --git a/pprint/src/PPrintTest.ml.d b/pprint/src/PPrintTest.ml.d