From: Claudio Sacerdoti Coen Date: Tue, 1 Jul 2003 09:15:52 +0000 (+0000) Subject: gtkmathview-config and gdome-config no longer used X-Git-Tag: camera_ready~31 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7ade0219c2e45c0e3edee7e2c7890ea45dc98287;p=helm.git gtkmathview-config and gdome-config no longer used --- diff --git a/helm/DEVEL/lablgtkmathview/Makefile.in b/helm/DEVEL/lablgtkmathview/Makefile.in index 44b7cf1a0..8607be867 100644 --- a/helm/DEVEL/lablgtkmathview/Makefile.in +++ b/helm/DEVEL/lablgtkmathview/Makefile.in @@ -55,7 +55,7 @@ deb: dist rm -rf $(DIST_DIR) ml_gtk_mathview.o: ml_gtk_mathview.c - gcc -c -I$(INCLUDEDIR) -fPIC `ocamlfind query -i-format lablgtk` `glib-config --cflags` `gtk-config --cflags` `gtkmathview-config --cflags` `gdome-config --cflags` `ocamlfind query -i-format gdome2` $< + gcc -c -I$(INCLUDEDIR) -fPIC `ocamlfind query -i-format lablgtk` @GTKMATHVIEW_CFLAGS@ @GDOME_CFLAGS@ `ocamlfind query -i-format gdome2` $< .SUFFIXES: .cmo .cmi .cmx .ml .mli