]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20000829_gtkmathview-0.1.0 / Makefile
index 57a3849032a6e566e05ebb94a3cc6d153bc9cd82..1195de5286e1d92ab0c3d8881dbc827844bc1f27 100644 (file)
@@ -1,8 +1,7 @@
 # Makefile for lablgtk_mathview.
 
-LABLGTKDIR = /usr/lib/ocaml/lablgtk
-MINIDOMDIR = ./minidom
-MLFLAGS += -I $(LABLGTKDIR) -I $(MINIDOMDIR)
+LABLGTKDIR = /usr/local/lib/ocaml/lablgtk
+MLFLAGS += -I $(LABLGTKDIR)
 
 TARGETS = ml_gtk_mathview.o lablgtkmathview.cma