Makefile revision c4ef79587a902327f36277c45a8d91d1e67bd6d5
fa9e4066f08beec538e775443c5be79dd423fcabahrens# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2005
fa9e4066f08beec538e775443c5be79dd423fcabahrens# Year: 2004
906d120cc2c2b1f1a14621790e25a6a33de50ce8lling# This Makefile will compile the new hets system and provides also
fa9e4066f08beec538e775443c5be79dd423fcabahrens# targets for test programs during implementation phases.
fa9e4066f08beec538e775443c5be79dd423fcabahrens# !!! Note: This makefile is written for GNU make !!!
fa9e4066f08beec538e775443c5be79dd423fcabahrens# (gmake on solaris)
fa9e4066f08beec538e775443c5be79dd423fcabahrens####################################################################
fa9e4066f08beec538e775443c5be79dd423fcabahrens## Some varibles, which control the compilation
fa9e4066f08beec538e775443c5be79dd423fcabahrensCOMMONLIB_PATH = Common/Lib Common/ATerm fgl/Data/Graph \
fa9e4066f08beec538e775443c5be79dd423fcabahrens fgl/Data/Graph/Inductive fgl/Data/Graph/Inductive/Internal \
fa9e4066f08beec538e775443c5be79dd423fcabahrens fgl/Data/Graph/Inductive/Monad fgl/Data/Graph/Inductive/Query
fa9e4066f08beec538e775443c5be79dd423fcabahrensCLEAN_PATH = . utils/DrIFT-src utils/GenerateRules utils/InlineAxioms Common \
27dd1e87cd3d939264769dd4af7e6a529cde001fMark Shellenbaum Logic CASL CASL/CCC Syntax Static GUI HasCASL Haskell Modal CoCASL COL \
edf345e6b8342e8627ec20ce821a977a62cee19dMatthew Ahrens CspCASL ATC ToHaskell Proofs Comorphisms Isabelle Driver $(INCLUDE_PATH) \
007a6c1f69652d7e3f2d2012a9332221d430491bJerry Jelinek# the 'replacing spaces' example was taken from the (GNU) Make info manual
55da60b91d96984f12de050ce428373ea25c7f35Mark J Musante## set ghc imports properly for your system
fa9e4066f08beec538e775443c5be79dd423fcabahrens# import directories for ghc-5.04.2
fa9e4066f08beec538e775443c5be79dd423fcabahrens DERIVEPATH=.:ghc:$(GHC_IMPORTS):$(GHC5):$(subst $(space),:,$(PFE_PATHS))
fa9e4066f08beec538e775443c5be79dd423fcabahrens# override on commandline for other architectures
ecd6cf800b63704be73fb264c3f5b6e0dafc068dmarks /home/www/agbkb/forschung/formal_methods/CoFI/hets/`utils/sysname.sh`
fa9e4066f08beec538e775443c5be79dd423fcabahrensGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps) Common/Utils.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrensINLINEAXIOMS_deps = utils/InlineAxioms/InlineAxioms.hs \
fa9e4066f08beec538e775443c5be79dd423fcabahrens Common/Lib/Pretty.hs Common/Keywords.hs Common/Lib/Set.hs \
fa9e4066f08beec538e775443c5be79dd423fcabahrens Common/Lib/Map.hs Common/Lib/Rel.hs Common/Lib/State.hs Common/Id.hs \
fa9e4066f08beec538e775443c5be79dd423fcabahrens Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs CASL/ShowMixfix.hs \
fa9e4066f08beec538e775443c5be79dd423fcabahrens CASL/Utils.hs Common/Lexer.hs Common/Token.hs Common/Anno_Parser.hs \
990b4856d0eaada6f8140335733a1b1771ed2746lling Common/Print_AS_Annotation.hs Common/PPUtils.hs CASL/LiteralFuns.hs \
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens CASL/Print_AS_Basic.hs Common/AnnoState.hs CASL/Formula.hs \
148434217c040ea38dc844384f6ba68d9b325906Matthew Ahrens CASL/OpItem.hs CASL/SortItem.hs CASL/Inject.hs Common/Result.hs \
148434217c040ea38dc844384f6ba68d9b325906Matthew Ahrens Common/ConvertLiteral.hs Common/Earley.hs CASL/MixfixParser.hs \
148434217c040ea38dc844384f6ba68d9b325906Matthew Ahrens CASL/Parse_AS_Basic.hs CASL/Sign.hs CASL/Overload.hs \
148434217c040ea38dc844384f6ba68d9b325906Matthew Ahrens CASL/StaticAna.hs Modal/AS_Modal.hs Modal/Parse_AS.hs \
148434217c040ea38dc844384f6ba68d9b325906Matthew Ahrens Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrensGENRULECALL = $(GENRULES) -r ShATermConvertible -i Common.ATerm.Lib
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens# remove -fno-warn-orphans for older ghcs
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrensHC_FLAGS = $(HC_WARN) -fglasgow-exts -fno-monomorphism-restriction \
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens -fallow-overlapping-instances -fallow-undecidable-instances
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens# -ddump-minimal-imports
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens# flags also come in via ../uni/uni-package.conf
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens# but added it here in case of compilation without uni
45818ee124adeaaf947698996b4f4c722afc6d1fMatthew Ahrenslogics = CASL HasCASL Isabelle Modal CoCASL COL CspCASL CASL_DL SPASS
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrensUNI_PACKAGE_CONF = $(wildcard ../uni/uni-package.conf)
b24ab6762772a3f6a89393947930c7fa61306783Jeff BonwickHC_PACKAGE = -package-conf $(UNI_PACKAGE_CONF) -package uni-davinci \
b24ab6762772a3f6a89393947930c7fa61306783Jeff Bonwick# some modules from uni for haddock
b24ab6762772a3f6a89393947930c7fa61306783Jeff Bonwick# if uni/server is included also HaXml sources are needed
b24ab6762772a3f6a89393947930c7fa61306783Jeff Bonwickuni_dirs = ../uni/davinci ../uni/graphs ../uni/events \
45818ee124adeaaf947698996b4f4c722afc6d1fMatthew Ahrensuni_sources = $(wildcard $(addsuffix /haddock/*.hs, $(uni_dirs))) \
45818ee124adeaaf947698996b4f4c722afc6d1fMatthew Ahrens### list of directories to run checks in
b24ab6762772a3f6a89393947930c7fa61306783Jeff BonwickPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
990b4856d0eaada6f8140335733a1b1771ed2746lling base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens property/TI property/defs property/parse2 property/parse2/Parser
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrenspfe_sources = $(wildcard $(addsuffix /*hs, $(PFE_PATHS)))
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrensPFE_FLAGS = -package data -package text $(PFE_PATH) -DPROGRAMATICA
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrenshappy_files += $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs
a6f561b4aee75d0d028e7b36b151c8ed8a86bc76Sašo Kiselkov patch -sNlp0 -d $(PFE_TOOLDIR) -i `pwd`/$< || exit 0
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens echo "{-# OPTIONS -w #-}" > $@
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens$(LEX_DIR)Gen/HsLexerGen: $(LEX_DIR)Gen/*.hs $(LEX_DIR)Spec/*.hs \
a3c49ce110f325a563c245bedc4d533adddb7211Albert Leederived_sources += Haskell/PreludeString.hs $(LEX_DIR)/HsLex.hs \
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrensAPPENDPRELUDESTRING = utils/appendHaskellPreludeString \
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens## rule for appendHaskellPreludeString
b3d141f8c7a5335d670721a81f797b1834ee327bmarksHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrensAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens## rule for ATC generation
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrensHaskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
de8267e0f723ed2c38ea9def92d465f69a300f56timh $(GENRULECALL) -i Haskell.BaseATC -o $@ $(Haskell_files)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### Profiling (only for debugging)
de8267e0f723ed2c38ea9def92d465f69a300f56timh### Attention every module must be compiled with profiling or the linker
de8267e0f723ed2c38ea9def92d465f69a300f56timh### cannot link the various .o files properly. So after switching on
de8267e0f723ed2c38ea9def92d465f69a300f56timh### Profiling, do an 'gmake real_clean; gmake'
de8267e0f723ed2c38ea9def92d465f69a300f56timh### and comment out HC_PACKAGE variable definition above.
de8267e0f723ed2c38ea9def92d465f69a300f56timh### Comment in the following line for switching on profiling.
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw#HC_PROF = -prof -auto-all
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwHCI_OPTS = $(HC_FLAGS) $(HC_INCLUDE) $(HC_PACKAGE) $(PFE_FLAGS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw####################################################################
148434217c040ea38dc844384f6ba68d9b325906Matthew Ahrens## sources for hets
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrensnon_sources = Common/LaTeX_maps.svmono.hs CspCASL/Main.hs \
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens Static/LogicStructured.hs Common/CaslLanguage.hs ./Test.hs
e09fa4dacfb671e707d50a55ae9b5cc191e1b8cbNeil Perrindrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
e09fa4dacfb671e707d50a55ae9b5cc191e1b8cbNeil Perrin Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs \
e09fa4dacfb671e707d50a55ae9b5cc191e1b8cbNeil Perrin Modal/AS_Modal.hs CoCASL/AS_CoCASL.hs COL/AS_COL.hs CASL_DL/AS_CASL_DL.hs\
a227b7f4f323ad89c40a86c430a5e891504a8e8bhs Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
3baa08fc5b6bea08a475b0cfe3ad161d74c5864bekATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
3baa08fc5b6bea08a475b0cfe3ad161d74c5864bekATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
55da60b91d96984f12de050ce428373ea25c7f35Mark J Musante $(GENRULECALL) -i ATC.AS_Annotation -i ATC.Grothendieck -o $@ $<
55da60b91d96984f12de050ce428373ea25c7f35Mark J MusanteATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
55da60b91d96984f12de050ce428373ea25c7f35Mark J MusanteATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
55da60b91d96984f12de050ce428373ea25c7f35Mark J Musante $(GENRULECALL) -i ATC.AS_Architecture -o $@ $<
edf345e6b8342e8627ec20ce821a977a62cee19dMatthew AhrensATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
edf345e6b8342e8627ec20ce821a977a62cee19dMatthew AhrensATC/DevGraph.der.hs: Static/DevGraph.hs $(GENRULES)
edf345e6b8342e8627ec20ce821a977a62cee19dMatthew AhrensATC/Prover.der.hs: Logic/Prover.hs $(GENRULES)
edf345e6b8342e8627ec20ce821a977a62cee19dMatthew Ahrens $(GENRULECALL) -x ProverTemplate -i ATC.AS_Annotation -o $@ $<
edf345e6b8342e8627ec20ce821a977a62cee19dMatthew AhrensATC/Proofs.der.hs: Proofs/Proofs.hs $(GENRULES)
edf345e6b8342e8627ec20ce821a977a62cee19dMatthew Ahrens $(GENRULECALL) -x BasicProof -i ATC.DevGraph -i ATC.GlobalAnnotations \
55da60b91d96984f12de050ce428373ea25c7f35Mark J MusanteCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom EricksonHasCASL_files = HasCASL/As.hs HasCASL/Le.hs HasCASL/Morphism.hs \
b24ab6762772a3f6a89393947930c7fa61306783Jeff BonwickModal_files = Modal/AS_Modal.hs Modal/ModalSign.hs
45818ee124adeaaf947698996b4f4c722afc6d1fMatthew AhrensCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom EricksonCspCASL_files = CspCASL/AS_CSP_CASL.hs CspCASL/SignCSP.hs
e45ce728996d8e573eecb27f555fb86aaff0cafdahrensatc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
a3c49ce110f325a563c245bedc4d533adddb7211Albert Leegenerated_rule_files = $(atc_der_files) $(atc_logic_files)
71dbfc287ce623fa58f67b024d14ef6924fa1b2aPaul B. Hensongendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Ericksoninline_axiom_files = Comorphisms/CASL2PCFOL.hs Comorphisms/PCFOL2FOL.hs \
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson Comorphisms/Modal2CASL.hs Comorphisms/CASL2TopSort.hs
b3d141f8c7a5335d670721a81f797b1834ee327bmarksgen_inline_axiom_files = $(patsubst %.hs,%.inline.hs, $(inline_axiom_files))
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Ericksonderived_sources += $(drifted_files) Driver/Version.hs $(happy_files) \
3baa08fc5b6bea08a475b0cfe3ad161d74c5864bek# sources that have {-# OPTIONS -cpp #-}
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson Isabelle/Logic_Isabelle.hs Isabelle/CreateTheories.hs \
3baa08fc5b6bea08a475b0cfe3ad161d74c5864bek Comorphisms/LogicList.hs Comorphisms/LogicGraph.hs $(happy_files)
e09fa4dacfb671e707d50a55ae9b5cc191e1b8cbNeil Perrin# unused, remove when header files are gone
e09fa4dacfb671e707d50a55ae9b5cc191e1b8cbNeil Perringenrule_header_files = $(wildcard ATC/*.header.hs)
e45ce728996d8e573eecb27f555fb86aaff0cafdahrens $(cpp_sources) $(pfe_sources) $(gen_inline_axiom_files) \
e45ce728996d8e573eecb27f555fb86aaff0cafdahrens Haskell/PreludeString.append.hs Haskell/ProgramaticaPrelude.hs \
e45ce728996d8e573eecb27f555fb86aaff0cafdahrens hxt/HXT.hs hxt/Net.hs $(patsubst %.hs, %.der.hs, $(drifted_files))
e45ce728996d8e573eecb27f555fb86aaff0cafdahrens# this variable holds the modules that should be documented
e45ce728996d8e573eecb27f555fb86aaff0cafdahrensdoc_sources = $(filter-out $(nondoc_sources), $(sources)) \
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson $(patsubst %.hs, %.hspp, $(cpp_sources)) $(uni_sources)
e45ce728996d8e573eecb27f555fb86aaff0cafdahrenstax_sources = Taxonomy/AbstractGraphView.hs Taxonomy/MMiSSOntology.hs \
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson Taxonomy/MMiSSOntologyGraph.hs Taxonomy/OntoParser.hs
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Ericksontax_objects = $(patsubst %.hs, %.o, $(tax_sources))
e45ce728996d8e573eecb27f555fb86aaff0cafdahrens####################################################################
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw.PHONY : all hets-opt hets-optimized clean d_clean real_clean bin_clean \
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson lib_clean distclean check capa hacapa h2h clean_genRules genRules \
e45ce728996d8e573eecb27f555fb86aaff0cafdahrens.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson ghc --make -package-conf $(HOME)/wash-pkg/package.conf \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o Taxonomy/taxonomyTool $< -ifgl $(HC_OPTS)
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens###############################
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson### TAGS files for (x)emacs
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens# load them with "M-x" "visit-tags-table" from
19b94df933188a15d4f0d6c568f0bab3f127892eMatthew Ahrens# use "M-." to search for a tag
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson# !!Beware this is somewhat instable, because it uses an absolute path!!
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson /home/ger/linux/ghc-5.04.2/bin/i386-unknown-linux/hasktags \
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson @echo 'File : Maintainer' > $@
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson 'foreach my $$f (@ARGV) { open I, "<$$f"; \
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson print "$$f :"; while (<I>) \
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson { if(m,^\s*Maintainer\s*:\s*(.*)$$,o) { \
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson print " $$1" ; last} }; print "\n"; close I; }' \
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson @echo " done"
9c3fd1216fa7fb02cfbc78a2518a686d54b48ab8Matthew Ahrens###############################
9c3fd1216fa7fb02cfbc78a2518a686d54b48ab8Matthew Ahrens### count lines of code
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens###############################
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson### Documentation via haddock
990b4856d0eaada6f8140335733a1b1771ed2746lling# generate haddock documentation with links to sources
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson -i docs/base.haddock -i docs/parsec.haddock -s ../ \
990b4856d0eaada6f8140335733a1b1771ed2746lling -t 'Hets - the Heterogeneous Tool Set' \
187d6ac08adc31ea6868bde0cfbbb288826254e8Matt Ahrens# sources are not copied here
74e7dc986c89efca1f2e4451c7a572e05e4a6e4fMatthew Ahrens###############################
74e7dc986c89efca1f2e4451c7a572e05e4a6e4fMatthew Ahrens### release management
77372cb0f35e8d3615ca2e16044f033397e88e21Matthew Ahrens (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT && \
007a6c1f69652d7e3f2d2012a9332221d430491bJerry Jelinek $(HC) --make -i../DrIFT-src -i../.. $(HC_WARN) \
007a6c1f69652d7e3f2d2012a9332221d430491bJerry Jelinek GenerateRules.hs -o ../genRules && strip ../genRules)
007a6c1f69652d7e3f2d2012a9332221d430491bJerry Jelinek# "hssource" for ghc-5.04.2
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens $(HC) --make utils/InlineAxioms/InlineAxioms.hs $(HC_WARN) $(HC_PROF) \
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository\
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson if [ -d ../programatica ] ; then \
a2afb611b30628fb74ad9eade4ae465f9031e262Jerry Jelinek (cd HetCATS; $(MAKE) derivedSources; $(MAKE) real_clean; \
a2afb611b30628fb74ad9eade4ae465f9031e262Jerry Jelinek find . -name CVS -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
b515258426fed6c7311fd3f1dea697cfbd4085c6Matthew Ahrens cp -p hets $(INSTALLDIR)/versions/hets-`cat version_nr`
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson ln -s versions/hets-`cat version_nr` hets; $(RM) version_nr)
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson#############################
78f171005391b928aaf1642b3206c534ed644332Matthew Ahrens### ATC DrIFT-rule generation
478ed9ada0b6efe1318150a700986aa47e6a926dEric Taylor $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(CASL_files)
78f171005391b928aaf1642b3206c534ed644332Matthew AhrensHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(HasCASL_files)
b24ab6762772a3f6a89393947930c7fa61306783Jeff BonwickIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom Erickson $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Isabelle_files)
83d7f9fe6bbb3e281a1ca55fdc5d1ec82ecc3e70Tom EricksonModal/ATC_Modal.der.hs: $(Modal_files) $(GENRULES)
1d7132005da8d75994a6ad204e6ec05ef5ffaa4bEric Schrock $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Modal_files)
ca48f36f20f6098ceb19d5b084b6b3d4b8eca9faKeith M WesolowskiCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
b461c7460e5e77cf65f00151162e654220c6e2fbMatthew Ahrens $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrens $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
91ebeef555ce7f899b6270a3c2df47b51f7ad59aahrensCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
b1b8ab34de515a5e83206da22c3d7e563241b021lling $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)
990b4856d0eaada6f8140335733a1b1771ed2746lling $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SPASS_files)
4201a95e0468170d576f82c3aa63afecf718497aRic Aleshire $(RM) $(generated_rule_files) $(gendrifted_files)
4201a95e0468170d576f82c3aa63afecf718497aRic Aleshire###############
990b4856d0eaada6f8140335733a1b1771ed2746lling### clean up
b1b8ab34de515a5e83206da22c3d7e563241b021lling### removes *.hi and *.o in all include directories
990b4856d0eaada6f8140335733a1b1771ed2746lling### remove binaries
e9dbad6f263d5570ed7ff5443ec5b958af8c24d7eschrock### additonally removes *.d (dependency files) in every include directory
e9dbad6f263d5570ed7ff5443ec5b958af8c24d7eschrock### also delete *.d.bak (dependency file backups)
e9dbad6f263d5570ed7ff5443ec5b958af8c24d7eschrock### remove files also in own libraries
e9dbad6f263d5570ed7ff5443ec5b958af8c24d7eschrock### additionally removes the files that define the sources-variable
e9dbad6f263d5570ed7ff5443ec5b958af8c24d7eschrock### additionally removes files not in CVS tree
148434217c040ea38dc844384f6ba68d9b325906Matthew Ahrens $(RM) utils/DrIFT utils/genRules $(INLINEAXIOMS)
148434217c040ea38dc844384f6ba68d9b325906Matthew Ahrens####################################################################
148434217c040ea38dc844384f6ba68d9b325906Matthew Ahrens### test targets
148434217c040ea38dc844384f6ba68d9b325906Matthew Ahrens####################################################################
148434217c040ea38dc844384f6ba68d9b325906Matthew Ahrens### a parser to test annotation parser and Id parsers
148434217c040ea38dc844384f6ba68d9b325906Matthew AhrensCommon/test_parser: Common/test_parser.hs Common/AS_Annotation.der.hs
148434217c040ea38dc844384f6ba68d9b325906Matthew Ahrens### interactive
148434217c040ea38dc844384f6ba68d9b325906Matthew Ahrens### christian's target
148434217c040ea38dc844384f6ba68d9b325906Matthew Ahrens### CASL parser
19b94df933188a15d4f0d6c568f0bab3f127892eMatthew Ahrens### HasCASL parser
19b94df933188a15d4f0d6c568f0bab3f127892eMatthew AhrensHasCASL/hacapa: HasCASL/hacapa.hs Common/*.hs HasCASL/*.hs
19b94df933188a15d4f0d6c568f0bab3f127892eMatthew Ahrens### Haskell analysis
fa9e4066f08beec538e775443c5be79dd423fcabahrensHaskell/hana: Haskell/hana.hs Haskell/HatAna.hs Haskell/PreludeString.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrens### Haskell to Isabelle-HOLCF translation
fa9e4066f08beec538e775443c5be79dd423fcabahrensToHaskell/h2hf: ToHaskell/h2hf.hs ToHaskell/*.hs Haskell/*.hs HasCASL/*.hs Isabelle/*.hs Common/*.hs
fa9e4066f08beec538e775443c5be79dd423fcabahrens### HasCASL to Haskell translation
3d7072f8bd27709dba14f6fe336f149d25d9e207eschrockToHaskell/h2h: ToHaskell/h2h.hs ToHaskell/*.hs Haskell/*.hs HasCASL/*.hs
3d7072f8bd27709dba14f6fe336f149d25d9e207eschrock### HetCASL parser
b24ab6762772a3f6a89393947930c7fa61306783Jeff Bonwick### HetCASL parser
990b4856d0eaada6f8140335733a1b1771ed2746lling### ATC test system
fa9e4066f08beec538e775443c5be79dd423fcabahrensatctest2: ATC/ATCTest2.hs Common/SimpPretty.hs Common/ATerm/*.hs \
990b4856d0eaada6f8140335733a1b1771ed2746lling### ATerm.Lib test system
990b4856d0eaada6f8140335733a1b1771ed2746llingatermlibtest: Common/ATerm/ATermLibTest.hs Common/SimpPretty.hs \
3d7072f8bd27709dba14f6fe336f149d25d9e207eschrockhatermdiff: Common/ATerm/ATermDiffMain.hs Common/SimpPretty.hs \
990b4856d0eaada6f8140335733a1b1771ed2746lling### OWL_DL test target
fa9e4066f08beec538e775443c5be79dd423fcabahrensOWL_DL/readAStest: OWL_DL/ToHaskellAS.hs Common/ATerm/*.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### HetCASL with dev graph
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### run tests in other directories
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw####################################################################
fa9e4066f08beec538e775443c5be79dd423fcabahrens## Preparing the version of HetCATS
990b4856d0eaada6f8140335733a1b1771ed2746lling $(PERL) utils/build_version.pl version_nr < Driver/Version.in > $@
990b4856d0eaada6f8140335733a1b1771ed2746lling## two hardcoded dependencies for a correct generation of Version.hs
990b4856d0eaada6f8140335733a1b1771ed2746llingDriver/Options.hs Driver/WriteFn.hs Driver/ReadFn.hs: Driver/Version.hs
990b4856d0eaada6f8140335733a1b1771ed2746lling####################################################################
990b4856d0eaada6f8140335733a1b1771ed2746lling## rules for DrIFT
b1b8ab34de515a5e83206da22c3d7e563241b021lling echo "{-# OPTIONS -w #-}" > $@
fa9e4066f08beec538e775443c5be79dd423fcabahrens ($(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $(DRIFT_OPTS) $< > $@)
990b4856d0eaada6f8140335733a1b1771ed2746lling## rules for inlineAxioms
e9dbad6f263d5570ed7ff5443ec5b958af8c24d7eschrock## rule for cpp and haddock
b1b8ab34de515a5e83206da22c3d7e563241b021lling## compiling rules for object and interface files
fa9e4066f08beec538e775443c5be79dd423fcabahrens## compiling rules for dependencies
fa9e4066f08beec538e775443c5be79dd423fcabahrens## rule for Modal/ModalSystems.hs needed for ModalLogic Translation
fa9e4066f08beec538e775443c5be79dd423fcabahrens# uses intransparently utils/outlineAxioms