]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/lexers/Makefile
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / lexers / Makefile
diff --git a/helm/DEVEL/pxp/pxp/lexers/Makefile b/helm/DEVEL/pxp/pxp/lexers/Makefile
new file mode 100644 (file)
index 0000000..63ade70
--- /dev/null
@@ -0,0 +1,34 @@
+all_iso88591: generate_iso88591
+       $(MAKE) -f Makefile.code all_iso88591
+
+opt_iso88591: generate_iso88591
+       $(MAKE) -f Makefile.code opt_iso88591
+
+all_utf8: generate_utf8
+       $(MAKE) -f Makefile.code all_utf8
+
+opt_utf8: generate_utf8
+       $(MAKE) -f Makefile.code opt_utf8
+
+
+
+generate_iso88591:
+       $(MAKE) -f Makefile.generate all_iso88591
+       rm -f objects_iso88591 objects_utf8
+       $(MAKE) -f Makefile.generate objects_iso88591
+       touch objects_utf8
+       $(MAKE) -f Makefile.generate depend
+
+generate_utf8:
+       $(MAKE) -f Makefile.generate all_utf8
+       rm -f objects_iso88591 objects_utf8
+       $(MAKE) -f Makefile.generate objects_utf8
+       touch objects_iso88591
+       $(MAKE) -f Makefile.generate depend
+
+
+
+clean:
+       touch depend objects
+       $(MAKE) -f Makefile.code clean
+       $(MAKE) -f Makefile.generate clean