Makefile revision dbdc36fbd5c60438009d36c830549738be7afd01
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2005
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# Year: 2004
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# This Makefile will compile the new hets system and provides also
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# targets for test programs during implementation phases.
8cf870d281dc8c242f083d14dfef05f24aa5fceeJnRouvignac# !!! Note: This makefile is written for GNU make !!!
8cf870d281dc8c242f083d14dfef05f24aa5fceeJnRouvignac# (gmake on solaris)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff####################################################################
8cf870d281dc8c242f083d14dfef05f24aa5fceeJnRouvignac## Some varibles, which control the compilation
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff fgl/Data/Graph/Inductive fgl/Data/Graph/Inductive/Internal \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff fgl/Data/Graph/Inductive/Monad fgl/Data/Graph/Inductive/Query
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffCLEAN_PATH = . utils/DrIFT-src utils/GenerateRules utils/InlineAxioms Common \
eb9158dea141f092a53bcc111a8e965b42fa9502jvergara CspCASL ATC ToHaskell Proofs Comorphisms Isabelle Driver \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# the 'replacing spaces' example was taken from the (GNU) Make info manual
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff## set ghc imports properly for your system
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# import directories for ghc-5.04.2
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff DERIVEPATH=.:ghc:$(GHC_IMPORTS):$(GHC5):$(subst $(space),:,$(PFE_PATHS))
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# override on commandline for other architectures
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff /home/www/agbkb/forschung/formal_methods/CoFI/hets/`utils/sysname.sh`
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps) Common/Utils.hs
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffINLINEAXIOMS_deps = utils/InlineAxioms/InlineAxioms.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff Common/Lib/Pretty.hs Common/Keywords.hs Common/Lib/Set.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff Common/Lib/Map.hs Common/Lib/Rel.hs Common/Lib/State.hs Common/Id.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs CASL/ShowMixfix.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff CASL/Utils.hs Common/Lexer.hs Common/Token.hs Common/Anno_Parser.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff Common/Print_AS_Annotation.hs Common/PPUtils.hs CASL/LiteralFuns.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff CASL/Print_AS_Basic.hs Common/AnnoState.hs CASL/Formula.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff CASL/OpItem.hs CASL/SortItem.hs CASL/Inject.hs Common/Result.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff Common/ConvertLiteral.hs Common/Earley.hs CASL/MixfixParser.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff CASL/Parse_AS_Basic.hs CASL/Sign.hs CASL/Overload.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff CASL/StaticAna.hs Modal/AS_Modal.hs Modal/Parse_AS.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffGENRULECALL = $(GENRULES) -r ShATermConvertible -i Common.ATerm.Lib
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# remove -fno-warn-orphans for older ghcs
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffHC_FLAGS = $(HC_WARN) -fglasgow-exts -fno-monomorphism-restriction \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff -fallow-overlapping-instances -fallow-undecidable-instances
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# -ddump-minimal-imports
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# flags also come in via ../uni/uni-package.conf
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# but added it here in case of compilation without uni
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcdufflogics = CASL HasCASL Isabelle Modal CoCASL COL CspCASL CASL_DL SPASS
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffUNI_PACKAGE_CONF = $(wildcard ../uni/uni-package.conf)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffHC_PACKAGE = -package-conf $(UNI_PACKAGE_CONF) -package uni-davinci \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# some modules from uni for haddock
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# if uni/server is included also HaXml sources are needed
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffuni_dirs = ../uni/davinci ../uni/graphs ../uni/events \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffuni_sources = $(wildcard $(addsuffix /haddock/*.hs, $(uni_dirs))) \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### list of directories to run checks in
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
2706915084d41c1829bb186eb242e800e8fd35b2jvergara property/TI property/defs property/parse2 property/parse2/Parser
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffpfe_sources = $(wildcard $(addsuffix /*hs, $(PFE_PATHS)))
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffPFE_FLAGS = -package data -package text $(PFE_PATH) -DPROGRAMATICA
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffhappy_files += $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff echo "{-# OPTIONS -w #-}" > $@
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff$(LEX_DIR)Gen/HsLexerGen: $(LEX_DIR)Gen/*.hs $(LEX_DIR)Spec/*.hs \
2706915084d41c1829bb186eb242e800e8fd35b2jvergaraderived_sources += Haskell/PreludeString.hs $(LEX_DIR)/HsLex.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffAPPENDPRELUDESTRING = utils/appendHaskellPreludeString \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff## rule for appendHaskellPreludeString
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
2706915084d41c1829bb186eb242e800e8fd35b2jvergara## rule for ATC generation
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffHaskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff $(GENRULECALL) -i Haskell.BaseATC -o $@ $(Haskell_files)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### Profiling (only for debugging)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### Attention every module must be compiled with profiling or the linker
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### cannot link the various .o files properly. So after switching on
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### Profiling, do an 'gmake real_clean; gmake'
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### and comment out HC_PACKAGE variable definition above.
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### Comment in the following line for switching on profiling.
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff#HC_PROF = -prof -auto-all
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffHCI_OPTS = $(HC_FLAGS) $(HC_INCLUDE) $(HC_PACKAGE) $(PFE_FLAGS)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff####################################################################
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff## sources for hets
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffnon_sources = Common/LaTeX_maps.svmono.hs CspCASL/Main.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff Common/CaslLanguage.hs ./Test.hs Static/LogicStructured.hs
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffdrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff Modal/AS_Modal.hs CoCASL/AS_CoCASL.hs COL/AS_COL.hs CASL_DL/AS_CASL_DL.hs\
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff ATC/$(basename $(basename $(notdir $(file)))).der.hs)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff $(GENRULECALL) -i ATC.AS_Annotation -i ATC.Grothendieck -o $@ $<
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff $(GENRULECALL) -i ATC.AS_Library -i ATC.BasicProof -o $@ $<
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff $(GENRULECALL) -x ProverTemplate -i ATC.AS_Annotation -o $@ $<
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff $(GENRULECALL) -x BasicProof -i ATC.DevGraph -i ATC.GlobalAnnotations \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffHasCASL_files = HasCASL/As.hs HasCASL/Le.hs HasCASL/Morphism.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffCspCASL_files = CspCASL/AS_CSP_CASL.hs CspCASL/SignCSP.hs
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffatc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffgenerated_rule_files = $(atc_der_files) $(atc_logic_files)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffgendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffinline_axiom_files = Comorphisms/CASL2PCFOL.hs Comorphisms/PCFOL2FOL.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff Comorphisms/Modal2CASL.hs Comorphisms/CASL2TopSort.hs
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffgen_inline_axiom_files = $(patsubst %.hs,%.inline.hs, $(inline_axiom_files))
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffderived_sources += $(drifted_files) Driver/Version.hs $(happy_files) \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# sources that have {-# OPTIONS -cpp #-}
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff Isabelle/Logic_Isabelle.hs Isabelle/CreateTheories.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff Comorphisms/LogicList.hs Comorphisms/LogicGraph.hs $(happy_files)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# unused, remove when header files are gone
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff $(cpp_sources) $(pfe_sources) $(gen_inline_axiom_files) \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hspp \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff Haskell/PreludeString.append.hs Haskell/ProgramaticaPrelude.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff hxt/HXT.hs hxt/Net.hs $(patsubst %.hs, %.der.hs, $(drifted_files))
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffhspp_sources = $(patsubst %.hs, %.hspp, $(cpp_sources))
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# this variable holds the modules that should be documented
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffdoc_sources = $(filter-out $(nondoc_sources), $(sources) $(hspp_sources))
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcdufftax_sources = Taxonomy/AbstractGraphView.hs Taxonomy/MMiSSOntology.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff Taxonomy/MMiSSOntologyGraph.hs Taxonomy/OntoParser.hs
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff####################################################################
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff.PHONY : all hets-opt hets-optimized clean d_clean real_clean bin_clean \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff lib_clean distclean check capa hacapa h2h clean_genRules genRules \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff ghc --make -package-conf $(HOME)/wash-pkg/package.conf \
c73e8d55f04419c98b9a4d977aafeff39539f0cejvergara $(HC) --make -o Taxonomy/taxonomyTool $< -ifgl $(HC_OPTS)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff###############################
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### TAGS files for (x)emacs
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# load them with "M-x" "visit-tags-table" from
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# use "M-." to search for a tag
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# !!Beware this is somewhat instable, because it uses an absolute path!!
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff /home/ger/linux/ghc-5.04.2/bin/i386-unknown-linux/hasktags \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff @echo 'File : Maintainer' > $@
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff 'foreach my $$f (@ARGV) { open I, "<$$f"; \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff print "$$f :"; while (<I>) \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff { if(m,^\s*Maintainer\s*:\s*(.*)$$,o) { \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff print " $$1" ; last} }; print "\n"; close I; }' \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff @echo " done"
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff###############################
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### count lines of code
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff###############################
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### Documentation via haddock
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# generate haddock documentation with links to sources
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# the interface treatment is stolen from uni/mk/suffix.mk
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff HINTERFACES=`echo $$HINTERFACES0 | sed -e 's+/[^/]*.haddock,+,+g'` ; \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff -t 'Hets - the Heterogeneous Tool Set' \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# sources are not copied here
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff###############################
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### release management
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT && \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff GenerateRules.hs -o ../genRules && strip ../genRules)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# "hssource" for ghc-5.04.2
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff $(HC) --make utils/InlineAxioms/InlineAxioms.hs $(HC_WARN) $(HC_PROF) \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository\
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff if [ -d ../programatica ] ; then \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff ln -s ../../programatica/tools programatica/tools ; fi
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff (cd HetCATS; $(MAKE) derivedSources; $(MAKE) clean; \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff find . -name CVS -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff cp -p hets $(INSTALLDIR)/versions/hets-`cat version_nr`
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff ln -s versions/hets-`cat version_nr` hets; $(RM) version_nr)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff#############################
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### ATC DrIFT-rule generation
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(CASL_files)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)
2706915084d41c1829bb186eb242e800e8fd35b2jvergara $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(HasCASL_files)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Isabelle_files)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SPASS_files)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff $(RM) $(generated_rule_files) $(gendrifted_files) $(hspp_sources) \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff###############
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### clean up
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### removes *.hi and *.o in all include directories
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### remove binaries
4e88588a80de5cc5c3769aece306afc00de6280fjvergara### removes *.d (dependency files) in every directory
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### also delete *.d.bak (dependency file backups)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff for p in $(CLEAN_PATH) $(LIB_PATH) $(INCLUDE_PATH) ; do \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### remove files in own libraries
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### additionally removes the library files
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### additionally removes generated files not in the CVS tree
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff####################################################################
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### test targets
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff####################################################################
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### a parser to test annotation parser and Id parsers
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffCommon/test_parser: Common/test_parser.hs Common/AS_Annotation.der.hs
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### interactive
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### christian's target
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### CASL parser
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### HasCASL parser
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffHasCASL/hacapa: HasCASL/hacapa.hs Common/*.hs HasCASL/*.hs
eb9158dea141f092a53bcc111a8e965b42fa9502jvergara### Haskell analysis
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffHaskell/hana: Haskell/hana.hs Haskell/HatAna.hs Haskell/PreludeString.hs
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### Haskell to Isabelle-HOLCF translation
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffToHaskell/h2hf: ToHaskell/h2hf.hs ToHaskell/*.hs Haskell/*.hs HasCASL/*.hs Isabelle/*.hs Common/*.hs
2706915084d41c1829bb186eb242e800e8fd35b2jvergara### HasCASL to Haskell translation
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffToHaskell/h2h: ToHaskell/h2h.hs ToHaskell/*.hs Haskell/*.hs HasCASL/*.hs
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### HetCASL parser
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### HetCASL parser
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### ATC test system
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffatctest2: ATC/ATCTest2.hs Common/SimpPretty.hs Common/ATerm/*.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### ATerm.Lib test system
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffatermlibtest: Common/ATerm/ATermLibTest.hs Common/SimpPretty.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffhatermdiff: Common/ATerm/ATermDiffMain.hs Common/SimpPretty.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### OWL_DL test target
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffOWL_DL/readAStest: OWL_DL/ToHaskellAS.hs Common/ATerm/*.hs \
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### HetCASL with dev graph
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff### run tests in other directories
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff####################################################################
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff## Preparing the version of HetCATS
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff $(PERL) utils/build_version.pl version_nr < Driver/Version.in > $@
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff## two hardcoded dependencies for a correct generation of Version.hs
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduffDriver/Options.hs Driver/WriteFn.hs Driver/ReadFn.hs: Driver/Version.hs
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff####################################################################
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff## rules for DrIFT
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff echo "{-# OPTIONS -w #-}" > $@
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff ($(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $(DRIFT_OPTS) $< > $@)
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff## rules for inlineAxioms
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff## rule for cpp and haddock
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff## compiling rules for object and interface files
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff## compiling rules for dependencies
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff## rule for Modal/ModalSystems.hs needed for ModalLogic Translation
d25372dc8e65a9ed019a88fdf659ca61313f1b31jcduff# uses intransparently utils/outlineAxioms