Commits

seanmcl committed 4b7f859

ocp/tuareg indent comparisons

  • Participants
  • Parent commits 000cd6c

Comments (0)

Files changed (1)

File ocp-indent/doit

 #!/bin/bash
 
+if [ ! $(ocp-indentt) ]; then
+    echo "You don't have ocp-indent in your path."
+    echo "Get it using"
+    echo "  git clone https://github.com/OCamlPro/ocp-indent.git"
+    exit 1
+fi
+
 rm -f ocp.ml tuareg.ml
 ocp-indent model.ml > ocp.ml
 cp model.ml tuareg.ml