]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/browser/Makefile
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20001129-0.1.0 / applications / browser / Makefile
diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/browser/Makefile b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/browser/Makefile
deleted file mode 100644 (file)
index 8822e47..0000000
+++ /dev/null
@@ -1,41 +0,0 @@
-# $Id$
-# Makefile for lablgtk.
-
-all: browser
-
-CAMLC = ocamlc
-CAMLOPT = ocamlopt
-COMPILER = $(CAMLC) $(MLFLAGS) -labels -w s -c
-LINKER = $(CAMLC) $(MLFLAGS)
-COMPOPT = $(CAMLOPT) $(MLFLAGS) -labels -w s -c
-LINKOPT = $(CAMLOPT) $(MLFLAGS)
-
-RANLIB = ranlib
-
-include ../../config.make
-
-MLFLAGS = -I ../.. -I ocaml-src/utils -I ocaml-src/parsing
-
-# Rules
-.SUFFIXES: .ml .mli .cmo .cmi .cmx .c .o .var .h .opt .def
-.ml.cmo:
-       $(COMPILER) $<
-.mli.cmi:
-       $(COMPILER) $<
-.ml.cmx:
-       $(COMPOPT) $<
-
-# Targets
-MLOBJS = text.cmo file.cmo lexical.cmo shell.cmo editor.cmo
-
-browser: $(MLOBJS)
-       $(LINKER) -o $@ toplevellib.cma str.cma unix.cma \
-           lablgtk.cma $(MLOBJS) 
-
-clean:
-       rm -f *.cm* browser
-
-.depend:
-       ocamldep *.ml *.mli > .depend
-
-include .depend