Makefile revision 63e50b4c36074d5fb9de872c4007b688b4bce534
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2005
8586c281411240cf582bbd086daefdb3b3cc64d6yoshiki# Year: 2004
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd# This Makefile will compile the new hets system and provides also
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd# targets for test programs during implementation phases.
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd# !!! Note: This makefile is written for GNU make !!!
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd# (gmake on solaris)
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd####################################################################
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd## Some varibles, which control the compilation
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdndCLEAN_PATH = . hxt/Data hxt/Text/XML/HXT/DOM hxt/Text/XML/HXT/Parser \
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd utils utils/DrIFT-src utils/GenerateRules utils/InlineAxioms Common \
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd Common/Lib Common/ATerm Logic CASL CASL/CCC CASL/CompositionTable \
d5d794fc2f4cc9ca6d6da17cfa2cdcd8d244bacdnd CspCASL ATC ToHaskell Proofs Comorphisms Isabelle Driver \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki# the 'replacing spaces' example was taken from the (GNU) Make info manual
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki## set ghc imports properly for your system
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki# import directories for ghc-5.04.2
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki DERIVEPATH=.:ghc:$(GHC_IMPORTS):$(GHC5):$(subst $(space),:,$(PFE_PATHS))
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki# override on commandline for other architectures
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki /home/www/agbkb/forschung/formal_methods/CoFI/hets/`utils/sysname.sh`
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps) Common/Utils.hs
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiINLINEAXIOMS_deps = utils/InlineAxioms/InlineAxioms.hs \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki Common/Lib/Pretty.hs Common/Keywords.hs Common/Lib/Set.hs \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki Common/Lib/Map.hs Common/Lib/Rel.hs Common/Lib/State.hs Common/Id.hs \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs CASL/ShowMixfix.hs \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki CASL/Utils.hs Common/Lexer.hs Common/Token.hs Common/Anno_Parser.hs \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki Common/Print_AS_Annotation.hs Common/PPUtils.hs CASL/LiteralFuns.hs \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki CASL/Print_AS_Basic.hs Common/AnnoState.hs CASL/Formula.hs \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki CASL/OpItem.hs CASL/SortItem.hs CASL/Inject.hs Common/Result.hs \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki Common/ConvertLiteral.hs Common/Earley.hs CASL/MixfixParser.hs \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki CASL/Parse_AS_Basic.hs CASL/Sign.hs CASL/Overload.hs \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki CASL/StaticAna.hs Modal/AS_Modal.hs Modal/Parse_AS.hs \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiGENRULECALL = $(GENRULES) -r ShATermConvertible -i Common.ATerm.Lib
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki# remove -fno-warn-orphans for older ghcs
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki $(HC_WARN) -fglasgow-exts -fno-monomorphism-restriction \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki -fallow-overlapping-instances -fallow-undecidable-instances
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki# -ddump-minimal-imports
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki# flags also come in via ../uni/uni-package.conf
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki# but added it here in case of compilation without uni
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikilogics = CASL HasCASL Isabelle Modal CoCASL COL CspCASL CASL_DL SPASS OWL_DL
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiUNI_PACKAGE_CONF = $(wildcard ../uni/uni-package.conf)
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiHC_PACKAGE = -package-conf $(UNI_PACKAGE_CONF) -package uni-davinci \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki# some modules from uni for haddock
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki# if uni/server is included also HaXml sources are needed
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiuni_dirs = ../uni/davinci ../uni/graphs ../uni/events \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiuni_sources = $(wildcard $(addsuffix /haddock/*.hs, $(uni_dirs))) \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki### list of directories to run checks in
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki property/TI property/defs property/parse2 property/parse2/Parser
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiPFE_PATHS = $(addprefix $(PFE_TOOLDIR)/, $(PFE_DIRS))
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikipfe_sources = $(wildcard $(addsuffix /*hs, $(PFE_PATHS)))
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiPFE_FLAGS = -package data -package text $(PFE_PATH) -DPROGRAMATICA
9dca5c120b818e1c51dbbb6c658d95a9f91b524cyoshikihappy_files += $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki patch -sNlp0 -d $(PFE_TOOLDIR) -i `pwd`/$< || exit 0
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki echo "{-# OPTIONS -w #-}" > $@
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki$(LEX_DIR)Gen/HsLexerGen: $(LEX_DIR)Gen/*.hs $(LEX_DIR)Spec/*.hs \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiderived_sources += Haskell/PreludeString.hs $(LEX_DIR)/HsLex.hs \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiAPPENDPRELUDESTRING = utils/appendHaskellPreludeString \
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshiki## rule for appendHaskellPreludeString
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshiki $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki## rule for ATC generation
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiHaskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki $(GENRULECALL) -i Haskell.BaseATC -o $@ $(Haskell_files)
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki### Profiling (only for debugging)
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki### Attention every module must be compiled with profiling or the linker
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki### cannot link the various .o files properly. So after switching on
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki### Profiling, do an 'gmake real_clean; gmake'
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki### Comment in the following line for switching on profiling.
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki#HC_PROF = -prof -auto-all
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiHC_OPTS = $(HC_FLAGS) $(HC_INCLUDE) $(HC_PACKAGE) $(PFE_FLAGS) $(HC_PROF) \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki####################################################################
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki## sources for hets
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikinon_sources = Common/LaTeX_maps.svmono.hs CspCASL/Main.hs \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki Common/CaslLanguage.hs ./Test.hs Static/LogicStructured.hs
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki $(wildcard $(addsuffix /[A-Z]*hs, $(SOURCE_PATHS))))
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikidrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki Modal/AS_Modal.hs CoCASL/AS_CoCASL.hs COL/AS_COL.hs CASL_DL/AS_CASL_DL.hs\
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshiki Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki ATC/$(basename $(basename $(notdir $(file)))).der.hs)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki $(GENRULECALL) -i ATC.AS_Annotation -i ATC.Grothendieck -o $@ $<
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki $(GENRULECALL) -x ProverTemplate -i ATC.AS_Annotation -o $@ $<
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiHasCASL_files = HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs CoCASL/Sublogic.hs
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiCspCASL_files = CspCASL/AS_CSP_CASL.hs CspCASL/SignCSP.hs
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiCASL_DL_files = CASL_DL/AS_CASL_DL.hs CASL_DL/Sign.hs
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshikiatc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikigenerated_rule_files = $(atc_der_files) $(atc_logic_files)
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikigendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiinline_axiom_files = Comorphisms/CASL2PCFOL.hs Comorphisms/PCFOL2CFOL.hs \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki Comorphisms/Modal2CASL.hs Comorphisms/CASL2TopSort.hs \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikigen_inline_axiom_files = $(patsubst %.hs,%.inline.hs, $(inline_axiom_files))
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiderived_sources += $(drifted_files) Driver/Version.hs $(happy_files) \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki# sources that have {-# OPTIONS -cpp #-}
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki Isabelle/Logic_Isabelle.hs Isabelle/CreateTheories.hs \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki SPASS/Logic_SPASS.hs GUI/Utils.hs Driver/WriteFn.hs \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki Comorphisms/LogicList.hs Comorphisms/LogicGraph.hs \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki# unused, remove when header files are gone
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki $(cpp_sources) $(pfe_sources) $(gen_inline_axiom_files) \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hspp \
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshiki Haskell/PreludeString.append.hs Haskell/ProgramaticaPrelude.hs \
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshiki hxt/HXT.hs hxt/Net.hs $(patsubst %.hs, %.der.hs, $(drifted_files))
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshikihspp_sources = $(patsubst %.hs, %.hspp, $(cpp_sources))
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshiki# this variable holds the modules that should be documented
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikidoc_sources = $(filter-out $(nondoc_sources), $(sources) $(hspp_sources))
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshikitax_sources = Taxonomy/AbstractGraphView.hs Taxonomy/MMiSSOntology.hs \
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshiki Taxonomy/MMiSSOntologyGraph.hs Taxonomy/OntoParser.hs
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshiki####################################################################
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshiki.PHONY : all hets-opt hets-optimized clean d_clean real_clean bin_clean \
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshiki lib_clean distclean check capa hacapa h2h clean_genRules genRules \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki ghc --make -package-conf $(HOME)/wash-pkg/package.conf \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki $(HC) --make -o Taxonomy/taxonomyTool $< -ifgl $(HC_OPTS)
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshiki###############################
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki### TAGS files for (x)emacs
9dca5c120b818e1c51dbbb6c658d95a9f91b524cyoshiki# load them with "M-x" "visit-tags-table" from
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki# use "M-." to search for a tag
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki# !!Beware this is somewhat instable, because it uses an absolute path!!
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki /home/ger/linux/ghc-5.04.2/bin/i386-unknown-linux/hasktags \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki @echo 'File : Maintainer' > $@
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki 'foreach my $$f (@ARGV) { open I, "<$$f"; \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki print "$$f :"; while (<I>) \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki { if(m,^\s*Maintainer\s*:\s*(.*)$$,o) { \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki print " $$1" ; last} }; print "\n"; close I; }' \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki @echo " done"
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki###############################
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki### count lines of code
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshiki###############################
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki### Documentation via haddock
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki# generate haddock documentation with links to sources
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki# the interface treatment is stolen from uni/mk/suffix.mk
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki -t 'Hets - the Heterogeneous Tool Set' \
ccdc5ea83d4104e3bde178caf8011466523c7e7cyoshiki# sources are not copied here
ccdc5ea83d4104e3bde178caf8011466523c7e7cyoshiki###############################
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki### release management
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT && \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki GenerateRules.hs -o ../genRules && strip ../genRules)
7503d8e3527e526884c5d43943d0479c557fc660yoshiki# "hssource" for ghc-5.04.2
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki $(HC) --make utils/InlineAxioms/InlineAxioms.hs $(HC_WARN) $(HC_PROF) \
8586c281411240cf582bbd086daefdb3b3cc64d6yoshiki cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository\
7503d8e3527e526884c5d43943d0479c557fc660yoshiki if [ -d ../programatica ] ; then \
7503d8e3527e526884c5d43943d0479c557fc660yoshiki ln -s ../../programatica/tools programatica/tools ; fi
7503d8e3527e526884c5d43943d0479c557fc660yoshiki (cd HetCATS; $(MAKE) derivedSources; $(MAKE) clean; \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki find . -name CVS -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki cp -p hets $(INSTALLDIR)/versions/hets-`cat version_nr`
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki ln -s versions/hets-`cat version_nr` hets; $(RM) version_nr)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki#############################
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki### ATC DrIFT-rule generation
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(CASL_files)
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(HasCASL_files)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Isabelle_files)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Modal_files)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiCoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SPASS_files)
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshikiOWL_DL/ATC_OWL_DL.der.hs: $(OWL_DL_files) $(GENRULES)
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki $(GENRULECALL) -i ATC.AS_Annotation -i OWL_DL.ReadWrite \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki $(RM) $(generated_rule_files) $(gendrifted_files) $(hspp_sources) \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki###############
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki### clean up
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki### removes *.hi and *.o in all include directories
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki### remove binaries
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki### additionally removes the library files
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki### additionally removes generated files not in the CVS tree
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki####################################################################
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki### test targets
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki####################################################################
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki### a parser to test annotation parser and Id parsers
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiCommon/test_parser: Common/test_parser.hs Common/AS_Annotation.der.hs
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki### interactive
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki### christian's target
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki### CASL parser
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki### HasCASL parser
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiHasCASL/hacapa: HasCASL/hacapa.hs Common/*.hs HasCASL/*.hs
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki### Haskell analysis
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiHaskell/hana: Haskell/hana.hs Haskell/HatAna.hs Haskell/PreludeString.hs
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki### Haskell to Isabelle-HOLCF translation
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiToHaskell/h2hf: ToHaskell/h2hf.hs ToHaskell/*.hs Haskell/*.hs HasCASL/*.hs Isabelle/*.hs Common/*.hs
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki### HasCASL to Haskell translation
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiToHaskell/h2h: ToHaskell/h2h.hs ToHaskell/*.hs Haskell/*.hs HasCASL/*.hs
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki### HetCASL parser
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki### HetCASL parser
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki### ATC test system
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiatctest2: ATC/ATCTest2.hs Common/SimpPretty.hs Common/ATerm/*.hs \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki### ATerm.Lib test system
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiatermlibtest: Common/ATerm/ATermLibTest.hs Common/SimpPretty.hs \
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshikihatermdiff: Common/ATerm/ATermDiffMain.hs Common/SimpPretty.hs \
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki### OWL_DL test target
085267ffe023e17209a374ec5ff2a27bd3381afcyoshikiOWL_DL/readAStest: OWL_DL/ToHaskellAS.hs Common/ATerm/*.hs \
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki### HetCASL with dev graph
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki### run tests in other directories
d1c4d2f51490a4eafe8ef311aec145fb2864f07byoshiki####################################################################
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki## Preparing the version of HetCATS
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki $(PERL) utils/build_version.pl version_nr < Driver/Version.in > $@
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki## two hardcoded dependencies for a correct generation of Version.hs
9b1f839776a3549d50a9974fe519f19c043d7de2yoshikiDriver/Options.hs Driver/WriteFn.hs Driver/ReadFn.hs: Driver/Version.hs
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki####################################################################
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki## rules for DrIFT
085267ffe023e17209a374ec5ff2a27bd3381afcyoshiki echo "{-# OPTIONS -w #-}" > $@
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki ($(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $(DRIFT_OPTS) $< > $@)
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki## rules for inlineAxioms
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki## rule for cpp and haddock
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki## compiling rules for object and interface files
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki## compiling rules for dependencies
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki## rule for Modal/ModalSystems.hs needed for ModalLogic Translation
9b1f839776a3549d50a9974fe519f19c043d7de2yoshiki# uses intransparently utils/outlineAxioms