Commit 2a25effc authored by Erwan Jahier's avatar Erwan Jahier
Browse files

lurette 0.7 Wed, 24 Oct 2001 15:06:21 +0200 by jahier

Parent-Version:      0.6
Version-Log:

At this stage, the environement should work. Several things remain to be done
tough; e.g., connecting the sut, the orcle and the constraint solver...

Project-Description: empty
parent d3953b12
;; This file is automatically generated, editing may cause PRCS to do
;; REALLY bad things.
(Created-By-Prcs-Version 1 3 3)
(env.mli 3433 1003928781 15_env.mli 1.1)
(test.aut 644 1003928781 22_test.aut 1.1)
(Mercury/graph.m 15076 1002205313 7_graph.m 1.1)
(Mercury/lurette.m 4239 1002789994 5_lurette.m 1.5)
(ID_EN_VRAC 2184 1002196285 0_ID_EN_VRAC 1.1)
(env.ml 21337 1003928781 16_env.ml 1.1)
(Mercury/test.aut 1231 1002546062 8_test2.aut 1.1)
(doc/Interface_draft 5232 1003928781 19_Interface_ 1.1)
(Mercury/Mmakefile 102 1002789994 1_Mmakefile 1.3)
(doc/archi.fig 3693 1003928781 20_archi.fig 1.1)
(Makefile 145 1003928781 18_Makefile 1.1)
(OcamlMakefile 14977 1003928781 17_OcamlMakef 1.1)
(README 0 1002791390 10_README 1.1)
(Mercury/env.m 9936 1002789994 4_env_automa 1.4)
(Mercury/env.m 9937 1003928781 4_env_automa 1.5)
(Mercury/dot_automata.m 5814 1002546062 9_dot_automa 1.1)
(Mercury/dot.m 3636 1002298322 6_dot.m 1.2)
(Mercury/memory.m 3884 1002196285 3_memory.m 1.1)
(graph.mli 1143 1003928781 13_graph.mli 1.1)
(graph.ml 2425 1003928781 14_graph.ml 1.1)
(lurette.mli 514 1003928781 11_lurette.ml 1.1)
(TAGS 1048 1003928781 21_TAGS 1.1)
(lurette.ml 180 1003928781 12_lurette.ml 1.1)
OCAMLMAKEFILE = ./OcamlMakefile
SOURCES = graph.mli graph.ml env.mli env.ml lurette.mli lurette.ml
RESULT = lurette
-include $(OCAMLMAKEFILE)
......@@ -28,7 +28,7 @@
:- import_module memory.
% An automata is a graph whose arcs are labelled by weighted formula
:- type automata == graph(node_content, arc_content).
:- type automata == graph(node_content, arc_content).
:- type node_content == int.
:- type node == node(node_content).
......
###########################################################################
# OcamlMakefile
# Copyright (C) 1999, 2000, 2001 Markus Mottl
#
# For updates see:
# http://miss.wu-wien.ac.at/~mottl/ocaml_sources
#
# $Id: OcamlMakefile 1.1 Wed, 24 Oct 2001 15:06:21 +0200 jahier $
#
###########################################################################
# Set these variables to the names of the sources to be processed and
# the result variable. Order matters during linkage!
ifndef SOURCES
SOURCES := foo.ml
endif
export SOURCES
export BASE_CLIB
ifndef RESULT
RESULT := foo
endif
export RESULT
export BCSUFFIX
export NCSUFFIX
ifndef TOPSUFFIX
TOPSUFFIX := .top
endif
export TOPSUFFIX
# Eventually set include- and library-paths, libraries to link,
# additional compilation-, link- and ocamlyacc-flags
# Path- and library information needs not be written with "-I" and such...
# Define THREADS if you need it, otherwise leave it unset (same for
# USE_CAMLP4)!
export THREADS
export USE_CAMLP4
export INCDIRS
export LIBDIRS
export OCAML_DEFAULT_DIRS
export OCAML_LIB_INSTALL
export LIBS
export CLIBS
export OCAMLFLAGS
export OCAMLNCFLAGS
export OCAMLBCFLAGS
export OCAMLLDFLAGS
export OCAMLNLDFLAGS
export OCAMLBLDFLAGS
ifndef OCAMLCPFLAGS
OCAMLCPFLAGS := a
endif
export OCAMLCPFLAGS
export YFLAGS
export IDLFLAGS
export CC
export CFLAGS
export LDFLAGS
# Add a list of optional trash files that should be deleted by "make clean"
export TRASH
#################### variables depending on your Ocaml-installation
ifdef MSVC
EXT_OBJ := obj
EXT_LIB := lib
endif
export MSVC
ifndef EXT_OBJ
EXT_OBJ := o
endif
export EXT_OBJ
ifndef EXT_LIB
EXT_LIB := a
endif
export EXT_LIB
BCRESULT := $(addsuffix $(BCSUFFIX), $(RESULT))
NCRESULT := $(addsuffix $(NCSUFFIX), $(RESULT))
TOPRESULT := $(addsuffix $(TOPSUFFIX), $(RESULT))
ifndef OCAMLC
OCAMLC := ocamlc
endif
export OCAMLC
ifndef OCAMLOPT
OCAMLOPT := ocamlopt
endif
export OCAMLOPT
ifndef OCAMLMKTOP
OCAMLMKTOP := ocamlmktop
endif
export OCAMLMKTOP
ifndef OCAMLCP
OCAMLCP := ocamlcp
endif
export OCAMLCP
ifndef OCAMLDEP
OCAMLDEP := ocamldep
endif
export OCAMLDEP
ifndef OCAMLLEX
OCAMLLEX := ocamllex
endif
export OCAMLLEX
ifndef OCAMLYACC
OCAMLYACC := ocamlyacc
endif
export OCAMLYACC
ifndef CAMLIDL
CAMLIDL := camlidl
endif
export CAMLIDL
ifndef NOIDLHEADER
MAYBE_IDL_HEADER := -header
endif
export NOIDLHEADER
ifndef CAMLP4
CAMLP4 := camlp4
endif
export CAMLP4
ifndef OCAMLMAKEFILE
OCAMLMAKEFILE := OcamlMakefile
endif
export OCAMLMAKEFILE
ifndef OCAMLLIBPATH
OCAMLLIBPATH := \
$(shell $(OCAMLC) 2>/dev/null -where || echo /usr/local/soft/ocaml/current/bin/ocaml)
endif
export OCAMLLIBPATH
ifndef OCAML_LIB_INSTALL
OCAML_LIB_INSTALL := $(OCAMLLIBPATH)/contrib
endif
export OCAML_LIB_INSTALL
###########################################################################
#################### change following sections only if
#################### you know what you are doing!
# for pedants using "--warn-undefined-variables"
export MAYBE_IDL
export REAL_RESULT
export CAMLIDLFLAGS
export THREAD_FLAG
SHELL := /bin/sh
MLDEPDIR := ._d
BCDIDIR := ._bcdi
NCDIDIR := ._ncdi
FILTERED := $(filter %.mli %.ml %.mll %.mly %.idl %.c, $(SOURCES))
SOURCE_DIRS := $(filter-out ./, $(sort $(dir $(FILTERED))))
FILTERED_ML := $(filter %.ml, $(FILTERED))
DEP_ML := $(FILTERED_ML:%.ml=$(MLDEPDIR)/%.d)
FILTERED_MLI := $(filter %.mli, $(FILTERED))
DEP_MLI := $(FILTERED_MLI:.mli=.di)
FILTERED_MLL := $(filter %.mll, $(FILTERED))
DEP_MLL := $(FILTERED_MLL:%.mll=$(MLDEPDIR)/%.d)
AUTO_MLL := $(FILTERED_MLL:.mll=.ml)
FILTERED_MLY := $(filter %.mly, $(FILTERED))
DEP_MLY := $(FILTERED_MLY:%.mly=$(MLDEPDIR)/%.d) $(FILTERED_MLY:.mly=.di)
AUTO_MLY := $(FILTERED_MLY:.mly=.mli) $(FILTERED_MLY:.mly=.ml)
FILTERED_IDL := $(filter %.idl, $(FILTERED))
DEP_IDL := $(FILTERED_IDL:%.idl=$(MLDEPDIR)/%.d) $(FILTERED_IDL:.idl=.di)
C_IDL := $(FILTERED_IDL:%.idl=%_idl.c) $(FILTERED_IDL:.idl=.h)
OBJ_C_IDL := $(FILTERED_IDL:%.idl=%_idl.$(EXT_OBJ))
AUTO_IDL := $(FILTERED_IDL:.idl=.mli) $(FILTERED_IDL:.idl=.ml) $(C_IDL)
FILTERED_C := $(filter %.c, $(FILTERED))
OBJ_C := $(FILTERED_C:.c=.$(EXT_OBJ))
PRE_TARGETS += $(AUTO_MLL) $(AUTO_MLY) $(AUTO_IDL)
ALL_DEPS := $(DEP_ML) $(DEP_MLI) $(DEP_MLL) $(DEP_MLY) $(DEP_IDL)
MLDEPS := $(filter %.d, $(ALL_DEPS))
MLIDEPS := $(filter %.di, $(ALL_DEPS))
BCDEPIS := $(MLIDEPS:%.di=$(BCDIDIR)/%.di)
NCDEPIS := $(MLIDEPS:%.di=$(NCDIDIR)/%.di)
ALLML := $(filter %.mli %.ml %.mll %.mly %.idl, $(FILTERED))
IMPLO_INTF := $(ALLML:%.mli=%.mli.__)
IMPLO_INTF := $(foreach file, $(IMPLO_INTF), \
$(basename $(file)).cmi $(basename $(file)).cmo)
IMPLO_INTF := $(filter-out %.mli.cmo, $(IMPLO_INTF))
IMPLO_INTF := $(IMPLO_INTF:%.mli.cmi=%.cmi)
IMPLX_INTF := $(IMPLO_INTF:.cmo=.cmx)
INTF := $(filter %.cmi, $(IMPLO_INTF))
IMPL_CMO := $(filter %.cmo, $(IMPLO_INTF))
IMPL_CMX := $(IMPL_CMO:.cmo=.cmx)
OBJ_LINK := $(OBJ_C_IDL) $(OBJ_C)
OBJ_FILES := $(IMPL_CMO:.cmo=.$(EXT_OBJ)) $(OBJ_LINK)
EXECS := $(sort $(TOPRESULT) $(BCRESULT) $(NCRESULT))
RES_CLIB := lib$(RESULT).$(EXT_LIB)
NONEXECS := $(INTF) $(IMPL_CMO) $(IMPL_CMX) $(OBJ_FILES) $(PRE_TARGETS) \
$(BCRESULT).cma $(NCRESULT).cmxa $(NCRESULT).$(EXT_LIB) \
$(RES_CLIB)
TARGETS := $(EXECS) $(NONEXECS)
# If there are IDL-files
ifneq ($(strip $(FILTERED_IDL)),)
MAYBE_IDL := -cclib -lcamlidl
endif
ifdef USE_CAMLP4
CAMLP4PATH := \
$(shell $(CAMLP4) -where 2>/dev/null || echo /usr/local/lib/camlp4)
INCFLAGS := -I $(CAMLP4PATH)
CINCFLAGS := -I$(CAMLP4PATH)
endif
INCFLAGS += $(SOURCE_DIRS:%=-I %) $(INCDIRS:%=-I %) $(OCAML_DEFAULT_DIRS:%=-I %)
CINCFLAGS += $(SOURCE_DIRS:%=-I%) $(INCDIRS:%=-I%) $(OCAML_DEFAULT_DIRS:%=-I%)
ifndef PROFILING
INTF_OCAMLC := $(OCAMLC)
else
ifndef THREADS
INTF_OCAMLC := $(OCAMLCP) -p $(OCAMLCPFLAGS)
else
# OCaml does not support profiling byte code
# with threads (yet), therefore we force an error.
ifndef REAL_OCAMLC
$(error Profiling of multithreaded byte code not yet supported by OCaml)
endif
endif
endif
ifndef MSVC
COMMON_LDFLAGS := $(LDFLAGS:%=-ccopt %) $(SOURCE_DIRS:%=-ccopt -L%) \
$(LIBDIRS:%=-ccopt -L%) $(OCAML_DEFAULT_DIRS:%=-ccopt -L%)
else
COMMON_LDFLAGS := $(LDFLAGS:%=-ccopt %)
endif
ifneq ($(strip $(OBJ_LINK)),)
ifdef CREATE_LIB
OBJS_LIBS := -cclib -l$(RESULT) $(CLIBS:%=-cclib -l%) $(MAYBE_IDL)
else
OBJS_LIBS := $(OBJ_LINK) $(CLIBS:%=-cclib -l%) $(MAYBE_IDL)
endif
else
OBJS_LIBS := $(CLIBS:%=-cclib -l%) $(MAYBE_IDL)
endif
# If we have to make byte-code
ifndef REAL_OCAMLC
SPECIAL_OCAMLFLAGS := $(OCAMLBCFLAGS)
REAL_OCAMLC := $(INTF_OCAMLC)
REAL_IMPL := $(IMPL_CMO)
REAL_IMPL_INTF := $(IMPLO_INTF)
IMPL_SUF := .cmo
DEPFLAGS :=
MAKE_DEPS := $(MLDEPS) $(BCDEPIS)
ifneq "$(strip $(OBJ_LINK) $(THREADS) $(MAYBE_IDL) $(CLIBS))" ""
ALL_LDFLAGS := -custom
endif
ALL_LDFLAGS += $(INCFLAGS) $(OCAMLLDFLAGS) $(OCAMLBLDFLAGS) \
$(COMMON_LDFLAGS) $(LIBS:%=%.cma)
ifdef THREADS
ALL_LDFLAGS += -thread unix.cma threads.cma
THREAD_FLAG := -thread
endif
# we have to make native-code
else
ifndef PROFILING
SPECIAL_OCAMLFLAGS := $(OCAMLNCFLAGS)
PLDFLAGS :=
else
SPECIAL_OCAMLFLAGS := -p $(OCAMLNCFLAGS)
PLDFLAGS := -p
endif
REAL_IMPL := $(IMPL_CMX)
REAL_IMPL_INTF := $(IMPLX_INTF)
IMPL_SUF := .cmx
CFLAGS := -DNATIVE_CODE $(CFLAGS)
DEPFLAGS := -native
MAKE_DEPS := $(MLDEPS) $(NCDEPIS)
ALL_LDFLAGS := $(PLDFLAGS) $(INCFLAGS) $(OCAMLLDFLAGS) \
$(OCAMLNLDFLAGS) $(COMMON_LDFLAGS)
ifndef CREATE_LIB
ALL_LDFLAGS += $(LIBS:%=%.cmxa)
endif
ifdef THREADS
ALL_LDFLAGS := -thread $(ALL_LDFLAGS)
ifndef CREATE_LIB
ALL_LDFLAGS += unix.cmxa threads.cmxa
endif
THREAD_FLAG := -thread
endif
endif
ALL_OCAMLCFLAGS := $(THREAD_FLAG) $(OCAMLFLAGS) \
$(INCFLAGS) $(SPECIAL_OCAMLFLAGS)
ifdef make_deps
-include $(MAKE_DEPS)
PRE_TARGETS :=
endif
###########################################################################
# USER RULES
# generates byte-code (default)
byte-code: $(PRE_TARGETS)
@$(MAKE) -r -f $(OCAMLMAKEFILE) $(BCRESULT) \
REAL_RESULT="$(BCRESULT)" make_deps=yes
bc: byte-code
top: $(PRE_TARGETS)
@$(MAKE) -r -f $(OCAMLMAKEFILE) $(TOPRESULT) \
REAL_RESULT="$(BCRESULT)" make_deps=yes
# generates native-code
native-code: $(PRE_TARGETS)
@$(MAKE) -r -f $(OCAMLMAKEFILE) $(NCRESULT) \
REAL_RESULT="$(NCRESULT)" \
REAL_OCAMLC="$(OCAMLOPT)" \
make_deps=yes
nc: native-code
# generates byte-code libraries
byte-code-library: $(PRE_TARGETS)
@$(MAKE) -r -f $(OCAMLMAKEFILE) $(BCRESULT).cma \
REAL_RESULT="$(BCRESULT)" \
CREATE_LIB=yes \
make_deps=yes
bcl: byte-code-library
# generates native-code libraries
native-code-library: $(PRE_TARGETS)
@$(MAKE) -r -f $(OCAMLMAKEFILE) $(NCRESULT).cmxa \
REAL_RESULT="$(NCRESULT)" \
REAL_OCAMLC="$(OCAMLOPT)" \
CREATE_LIB=yes \
make_deps=yes
ncl: native-code-library
# generates byte-code with debugging information
debug-code: $(PRE_TARGETS)
@$(MAKE) -r -f $(OCAMLMAKEFILE) $(BCRESULT) \
REAL_RESULT="$(BCRESULT)" make_deps=yes \
OCAMLFLAGS="-g $(OCAMLFLAGS)" \
OCAMLLDFLAGS="-g $(OCAMLLDFLAGS)"
dc: debug-code
# generates byte-code libraries with debugging information
debug-code-library: $(PRE_TARGETS)
@$(MAKE) -r -f $(OCAMLMAKEFILE) $(BCRESULT).cma \
REAL_RESULT="$(BCRESULT)" make_deps=yes \
CREATE_LIB=yes \
OCAMLFLAGS="-g $(OCAMLFLAGS)" \
OCAMLLDFLAGS="-g $(OCAMLLDFLAGS)"
dcl: debug-code-library
# generates byte-code for profiling
profiling-byte-code: $(PRE_TARGETS)
@$(MAKE) -r -f $(OCAMLMAKEFILE) $(BCRESULT) \
REAL_RESULT="$(BCRESULT)" PROFILING="y" \
make_deps=yes
pbc: profiling-byte-code
# generates native-code
profiling-native-code: $(PRE_TARGETS)
@$(MAKE) -r -f $(OCAMLMAKEFILE) $(NCRESULT) \
REAL_RESULT="$(NCRESULT)" \
REAL_OCAMLC="$(OCAMLOPT)" \
PROFILING="y" \
make_deps=yes
pnc: profiling-native-code
# generates byte-code libraries
profiling-byte-code-library: $(PRE_TARGETS)
@$(MAKE) -r -f $(OCAMLMAKEFILE) $(BCRESULT).cma \
REAL_RESULT="$(BCRESULT)" PROFILING="y" \
CREATE_LIB=yes \
make_deps=yes
pbcl: profiling-byte-code-library
# generates native-code libraries
profiling-native-code-library: $(PRE_TARGETS)
@$(MAKE) -r -f $(OCAMLMAKEFILE) $(NCRESULT).cmxa \
REAL_RESULT="$(NCRESULT)" PROFILING="y" \
REAL_OCAMLC="$(OCAMLOPT)" \
CREATE_LIB=yes \
make_deps=yes
pncl: profiling-native-code-library
###########################################################################
# LOW LEVEL RULES
$(REAL_RESULT): $(REAL_IMPL_INTF) $(OBJ_LINK)
$(REAL_OCAMLC) $(ALL_LDFLAGS) $(OBJS_LIBS) -o $@ \
$(REAL_IMPL)
%$(TOPSUFFIX): $(REAL_IMPL_INTF) $(OBJ_LINK)
$(OCAMLMKTOP) $(ALL_LDFLAGS) $(OBJS_LIBS) -o $@ \
$(REAL_IMPL)
.SUFFIXES: .mli .ml .cmi .cmo .cmx .cma .cmxa .$(EXT_OBJ) \
.mly .di .d .$(EXT_LIB) .idl .c .h
$(RESULT).cma: $(REAL_IMPL_INTF) $(RES_CLIB)
$(REAL_OCAMLC) -a $(ALL_LDFLAGS) $(OBJS_LIBS) -o $@ \
$(OCAMLBLDFLAGS) $(REAL_IMPL)
$(RESULT).cmxa $(RESULT).$(EXT_LIB): $(REAL_IMPL_INTF) $(RES_CLIB)
$(OCAMLOPT) -a $(ALL_LDFLAGS) $(OBJS_LIBS) \
$(OCAMLNLDFLAGS) -o $@ $(REAL_IMPL)
$(RES_CLIB): $(OBJ_LINK)
ifneq ($(strip $(BASE_CLIB)),)
cp $(BASE_CLIB) $@
ifneq ($(strip $(OBJ_LINK)),)
ar r $@ $(OBJ_LINK)
ranlib $@
endif
else
ifneq ($(strip $(OBJ_LINK)),)
ar rc $@ $(OBJ_LINK)
ranlib $@
endif
endif
.mli.cmi:
@pp=`sed -n -e 's/(\*pp \([^*]*\) \*)/\1/p;q' $<`; \
if [ -z "$$pp" ]; then \
echo $(INTF_OCAMLC) -c $(THREAD_FLAG) \
$(OCAMLFLAGS) $(INCFLAGS) $<; \
$(INTF_OCAMLC) -c $(THREAD_FLAG) $(OCAMLFLAGS) \
$(INCFLAGS) $<; \
else \
echo $(INTF_OCAMLC) -c -pp \"$$pp\" $(THREAD_FLAG) \
$(OCAMLFLAGS) $(INCFLAGS) $<; \
$(INTF_OCAMLC) -c -pp "$$pp" $(THREAD_FLAG) \
$(OCAMLFLAGS) $(INCFLAGS) $<; \
fi
.ml.cmi .ml.$(EXT_OBJ) .ml.cmx .ml.cmo:
@pp=`sed -n -e 's/(\*pp \([^*]*\) \*)/\1/p;q' $<`; \
if [ -z "$$pp" ]; then \
echo $(REAL_OCAMLC) -c $(ALL_OCAMLCFLAGS) $<; \
$(REAL_OCAMLC) -c $(ALL_OCAMLCFLAGS) $<; \
else \
echo $(REAL_OCAMLC) -c -pp \"$$pp\" \
$(ALL_OCAMLCFLAGS) $<; \
$(REAL_OCAMLC) -c -pp "$$pp" $(ALL_OCAMLCFLAGS) $<; \
fi
.PRECIOUS: %.ml
%.ml: %.mll
$(OCAMLLEX) $<
.PRECIOUS: %.ml %.mli
%.ml %.mli: %.mly
$(OCAMLYACC) $(YFLAGS) $<
.PRECIOUS: %.ml %.mli %_idl.c %.h
%.ml %.mli %_idl.c %.h: %.idl
$(CAMLIDL) $(MAYBE_IDL_HEADER) $(IDLFLAGS) \
$(CAMLIDLFLAGS) $<
@if [ $(NOIDLHEADER) ]; then touch $*.h; fi
mv $*.c $*_idl.c
.c.$(EXT_OBJ):
$(CC) -c $(CFLAGS) $(CINCFLAGS) -I$(OCAMLLIBPATH) \
$< -o $@
$(MLDEPDIR)/%.d: %.ml
@echo making $@ from $<
@if [ ! -d $(@D) ]; then mkdir -p $(@D); fi
@pp=`sed -n -e 's/(\*pp \([^*]*\) \*)/\1/p;q' $<`; \
if [ -z "$$pp" ]; then \
$(OCAMLDEP) $(INCFLAGS) $< > $@; \
else \
$(OCAMLDEP) -pp "$$pp" $(INCFLAGS) $< > $@; \
fi
$(BCDIDIR)/%.di $(NCDIDIR)/%.di: %.mli
@echo making $@ from $<
@if [ ! -d $(@D) ]; then mkdir -p $(@D); fi
@pp=`sed -n -e 's/(\*pp \([^*]*\) \*)/\1/p;q' $<`; \
if [ -z "$$pp" ]; then \
$(OCAMLDEP) $(DEPFLAGS) $(INCFLAGS) $< > $@; \
else \
$(OCAMLDEP) $(DEPFLAGS) \
-pp "$$pp" $(INCFLAGS) $< > $@; \
fi
###########################################################################
# (UN)INSTALL RULES FOR LIBRARIES
.PHONY: libinstall
libinstall: all
@printf "\nInstalling library to: $(OCAML_LIB_INSTALL)\n"
@printf "Is this ok? (y/[n]) - "
@\
read ans; \
if [ "$$ans" != "y" ]; then \
echo Installation aborted.; exit 1; fi
@echo
-install -d $(OCAML_LIB_INSTALL)
for i in $(LIBINSTALL_FILES); \
do install -c -m 0644 $$i $(OCAML_LIB_INSTALL); done
@printf "\nInstallation successful.\n"
.PHONY: libuninstall
libuninstall:
@printf "\nUninstalling library from: $(OCAML_LIB_INSTALL)\n"
@printf "Is this ok? (y/[n]) - "
@\
read ans; \
if [ "$$ans" != "y" ]; then \
echo Uninstallation aborted.; exit 1; fi
@echo
cd $(OCAML_LIB_INSTALL); rm $(notdir $(LIBINSTALL_FILES))
@printf "\nUninstallation successful.\n"
###########################################################################
# MAINTAINANCE RULES
.PHONY: clean
clean:
rm -f $(TARGETS) $(TRASH)
rm -rf $(BCDIDIR) $(NCDIDIR) $(MLDEPDIR)
.PHONY: cleanup
cleanup:
rm -f $(NONEXECS) $(TRASH)
rm -rf $(BCDIDIR) $(NCDIDIR) $(MLDEPDIR)
.PHONY: nobackup
nobackup:
rm -f *.bak *~ *.dup
dot_automata.mli,0
env.mli,301
type automata automata30,984
type var_typevar_type31,999
type datedate32,1013
type formula_epsformula_eps33,1023
type formulaformula34,1040
type weigth = intweigth35,1053
type node = intnode37,1072
type arc = node * nodearc38,1088
type arc_info = weigth * formula_epsarc_info39,1111
graph.mli,25
type ('a, 'b) tt16,426