Commit 9f8ef015 authored by bguillaum's avatar bguillaum
Browse files

Remove the concatenation of two mli files -> now, libgrew and libgrew_types...

Remove the concatenation of two mli files -> now, libgrew and libgrew_types are exported by install procedure

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/semagramme/libcaml-grew/trunk@8806 7838e531-6607-4d57-9587-6c381814729c
parent 2d418be8
...@@ -32,7 +32,7 @@ uninstall: ...@@ -32,7 +32,7 @@ uninstall:
uninstall_dev: uninstall_dev:
$(OCAMLFIND) remove libgrew_dev > /dev/null $(OCAMLFIND) remove libgrew_dev > /dev/null
LIB_DEP = libgrew.cma libgrew.cmxa libgrew.a libgrew.cmi LIB_DEP = libgrew_types.cmi libgrew.cmi libgrew.cma libgrew.cmxa libgrew.a
install: uninstall install: uninstall
cp META META_ cp META META_
......
# file generated by the Makefile !
libgrew.mli
...@@ -31,22 +31,6 @@ parser_opt: ...@@ -31,22 +31,6 @@ parser_opt:
parser_byte: parser_byte:
@make -C parser byte @make -C parser byte
# librairie
libgrew.mli : libgrew_types.mli libgrew_.mli
rm -rf libgrew.mli
touch libgrew.mli
echo "(** Grew Library" > libgrew.mli
echo "@author paul.masson\@inria.fr" >> libgrew.mli
echo "@author bruno.guillaumme\@inria.fr" >> libgrew.mli
echo "@version 1.0.0" >> libgrew.mli
echo "*)" >> libgrew.mli
echo "" >> libgrew.mli
cat libgrew_types.mli >> libgrew.mli
echo "" >> libgrew.mli
echo "" >> libgrew.mli
cat libgrew_.mli >> libgrew.mli
libgrew.cma : $(FILES_CMO) parser_byte libgrew.mli libgrew.ml libgrew.cma : $(FILES_CMO) parser_byte libgrew.mli libgrew.ml
ifeq (@DEP2PICT@,no) ifeq (@DEP2PICT@,no)
$(OCAMLC) -c -pp 'camlp4o pa_macro.cmo' $(BYTE_FLAGS) $(FILES_CMO) $(XML_LIGHT_BYTE) str.cma -I parser $(PARSER_CMO) libgrew.mli $(OCAMLC) -c -pp 'camlp4o pa_macro.cmo' $(BYTE_FLAGS) $(FILES_CMO) $(XML_LIGHT_BYTE) str.cma -I parser $(PARSER_CMO) libgrew.mli
...@@ -288,7 +272,6 @@ clean: ...@@ -288,7 +272,6 @@ clean:
rm -f grew grew.byte rm -f grew grew.byte
rm -f test test.byte rm -f test test.byte
rm -f *.nf *.png *.html rm -f *.nf *.png *.html
rm -f libgrew.mli
purge_makefile: purge_makefile:
@make -C parser purge @make -C parser purge
......
...@@ -8,7 +8,7 @@ ...@@ -8,7 +8,7 @@
(* Authors: see AUTHORS file *) (* Authors: see AUTHORS file *)
(**********************************************************************************) (**********************************************************************************)
include Libgrew_types open Libgrew_types
open Printf open Printf
open Log open Log
......
...@@ -9,6 +9,7 @@ ...@@ -9,6 +9,7 @@
(**********************************************************************************) (**********************************************************************************)
(** {2 Grew's core} *) (** {2 Grew's core} *)
open Libgrew_types
open Grew_base open Grew_base
open Grew_graph open Grew_graph
open Grew_rule open Grew_rule
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment