]> matita.cs.unibo.it Git - helm.git/commitdiff
gtkmathview-config and gdome-config no longer used
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 1 Jul 2003 09:15:52 +0000 (09:15 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 1 Jul 2003 09:15:52 +0000 (09:15 +0000)
helm/DEVEL/lablgtkmathview/Makefile.in

index 44b7cf1a026ce9cc5e5db93e810c8febe509c35b..8607be867c768c8ee23b41de7e042944bd3ee46e 100644 (file)
@@ -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