X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Ftest%2FMakefile.in;h=dae4241b2119293e7d599355a930c4de112619b0;hb=85ccebb566c36671ca753debe09e6dd5c9dd0df7;hp=3c69a2a1cc8d7ac4f6853bb8f5097dd48d17eb4c;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/test/Makefile.in b/helm/DEVEL/mathml_editor/test/Makefile.in
index 3c69a2a1c..dae4241b2 100644
--- a/helm/DEVEL/mathml_editor/test/Makefile.in
+++ b/helm/DEVEL/mathml_editor/test/Makefile.in
@@ -74,26 +74,38 @@ GMETADOM_CFLAGS = @GMETADOM_CFLAGS@
 GMETADOM_LIBS = @GMETADOM_LIBS@
 GTKMATHVIEW_CFLAGS = @GTKMATHVIEW_CFLAGS@
 GTKMATHVIEW_LIBS = @GTKMATHVIEW_LIBS@
+HAVE_OCAMLC = @HAVE_OCAMLC@
+HAVE_OCAMLDEP = @HAVE_OCAMLDEP@
+HAVE_OCAMLFIND = @HAVE_OCAMLFIND@
+HAVE_OCAMLMKLIB = @HAVE_OCAMLMKLIB@
+HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
 LDFLAGS = @LDFLAGS@
 LIBTOOL = @LIBTOOL@
 LN_S = @LN_S@
 MAKEINFO = @MAKEINFO@
+MLGDOME_CFLAGS = @MLGDOME_CFLAGS@
 OBJDUMP = @OBJDUMP@
 OBJEXT = @OBJEXT@
+OCAMLC = @OCAMLC@
+OCAMLDEP = @OCAMLDEP@
+OCAMLFIND = @OCAMLFIND@
+OCAMLMKLIB = @OCAMLMKLIB@
+OCAMLOPT = @OCAMLOPT@
+OCAMLSTDLIBDIR = @OCAMLSTDLIBDIR@
+OCAMLSTUBDIR = @OCAMLSTUBDIR@
+OCAML_INCLUDE_DIR = @OCAML_INCLUDE_DIR@
 PACKAGE = @PACKAGE@
 RANLIB = @RANLIB@
 STRIP = @STRIP@
 VERSION = @VERSION@
 
-noinst_PROGRAMS = test editor
+noinst_PROGRAMS = editor
 
-test_SOURCES = main.cc
 editor_SOURCES = editor.cc guiGTK.c aux.cc
 
 LDADDS =    $(GMETADOM_LIBS)   $(GDOMEXSLT_LIBS)   $(GTKMATHVIEW_LIBS)   $(top_builddir)/src/.libs/libeditex.a
 
 
-test_LDADD = $(LDADDS)
 editor_LDADD = $(LDADDS)
 
 INCLUDES =    $(GMETADOM_CFLAGS)   $(GDOMEXSLT_CFLAGS)   $(GTKMATHVIEW_CFLAGS)   -I$(top_srcdir)/src
@@ -101,15 +113,12 @@ INCLUDES =    $(GMETADOM_CFLAGS)   $(GDOMEXSLT_CFLAGS)   $(GTKMATHVIEW_CFLAGS)
 mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
 CONFIG_HEADER = ../config.h
 CONFIG_CLEAN_FILES = 
-noinst_PROGRAMS =  test$(EXEEXT) editor$(EXEEXT)
+noinst_PROGRAMS =  editor$(EXEEXT)
 PROGRAMS =  $(noinst_PROGRAMS)
 
 
 DEFS = @DEFS@ -I. -I$(srcdir) -I..
 LIBS = @LIBS@
-test_OBJECTS =  main.$(OBJEXT)
-test_DEPENDENCIES =  $(top_builddir)/src/.libs/libeditex.a
-test_LDFLAGS = 
 editor_OBJECTS =  editor.$(OBJEXT) guiGTK.$(OBJEXT) aux.$(OBJEXT)
 editor_DEPENDENCIES =  $(top_builddir)/src/.libs/libeditex.a
 editor_LDFLAGS = 
@@ -129,9 +138,9 @@ DISTFILES = $(DIST_COMMON) $(SOURCES) $(HEADERS) $(TEXINFOS) $(EXTRA_DIST)
 
 TAR = tar
 GZIP_ENV = --best
-DEP_FILES =  .deps/aux.P .deps/editor.P .deps/guiGTK.P .deps/main.P
-SOURCES = $(test_SOURCES) $(editor_SOURCES)
-OBJECTS = $(test_OBJECTS) $(editor_OBJECTS)
+DEP_FILES =  .deps/aux.P .deps/editor.P .deps/guiGTK.P
+SOURCES = $(editor_SOURCES)
+OBJECTS = $(editor_OBJECTS)
 
 all: all-redirect
 .SUFFIXES:
@@ -191,10 +200,6 @@ distclean-libtool:
 
 maintainer-clean-libtool:
 
-test$(EXEEXT): $(test_OBJECTS) $(test_DEPENDENCIES)
-	@rm -f test$(EXEEXT)
-	$(CXXLINK) $(test_LDFLAGS) $(test_OBJECTS) $(test_LDADD) $(LIBS)
-
 editor$(EXEEXT): $(editor_OBJECTS) $(editor_DEPENDENCIES)
 	@rm -f editor$(EXEEXT)
 	$(CXXLINK) $(editor_LDFLAGS) $(editor_OBJECTS) $(editor_LDADD) $(LIBS)