Makefile revision 2e2094a642e3775b0d76b890556407941d3a53b6
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# Makefile
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# $Header$
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2005
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# Year: 2004
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# This Makefile will compile the new hets system and provides also
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# targets for test programs during implementation phases.
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# !!! Note: This makefile is written for GNU make !!!
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# (gmake on solaris)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwall: patch hets
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw####################################################################
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw## Some varibles, which control the compilation
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwINCLUDE_PATH = fgl hxt
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwCOMMONLIB_PATH = Common/Lib Common/ATerm fgl/Data/Graph \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw fgl/Data/Graph/Inductive fgl/Data/Graph/Inductive/Internal \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw fgl/Data/Graph/Inductive/Monad fgl/Data/Graph/Inductive/Query
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwCLEAN_PATH = . utils/DrIFT-src utils/GenerateRules utils/InlineAxioms Common \
fd9ee8b58485b20072eeef1310a88ff348d5e7fajoyce mcintosh Logic CASL CASL/CCC Syntax Static GUI HasCASL Haskell Modal CoCASL COL \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw CspCASL ATC ToHaskell Proofs Comorphisms Isabelle Driver $(INCLUDE_PATH) \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Taxonomy CASL_DL SPASS $(PFE_PATHS)
a0aa776e20803c84edd153d9cb584fd67163aef3Alan Wright
8d7e41661dc4633488e93b13363137523ce59977jose borrego# the 'replacing spaces' example was taken from the (GNU) Make info manual
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwempty =
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwspace = $(empty) $(empty)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw## set ghc imports properly for your system
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwGHC_IMPORTS = `$(HC) --print-libdir`/imports
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# import directories for ghc-5.04.2
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwGHC5 = $(GHC_IMPORTS)/base:$(GHC_IMPORTS)/haskell98
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwDRIFT_ENV = \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw DERIVEPATH=.:ghc:$(GHC_IMPORTS):$(GHC5):$(subst $(space),:,$(PFE_PATHS))
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# override on commandline for other architectures
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwINSTALLDIR = \
dc20a3024900c47dd2ee44b9707e6df38f7d62a5as /home/www/agbkb/forschung/formal_methods/CoFI/hets/`utils/sysname.sh`
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
bbf6f00c25b6a2bed23c35eac6d62998ecdb338cJordan BrownDRIFT_deps = utils/DrIFT-src/*hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps) Common/Utils.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwINLINEAXIOMS_deps = utils/InlineAxioms/InlineAxioms.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Common/Lib/Pretty.hs Common/Keywords.hs Common/Lib/Set.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Common/Lib/Map.hs Common/Lib/Rel.hs Common/Lib/State.hs Common/Id.hs \
8d7e41661dc4633488e93b13363137523ce59977jose borrego Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs CASL/ShowMixfix.hs \
8d7e41661dc4633488e93b13363137523ce59977jose borrego CASL/Utils.hs Common/Lexer.hs Common/Token.hs Common/Anno_Parser.hs \
8d7e41661dc4633488e93b13363137523ce59977jose borrego Common/GlobalAnnotations.hs Common/PrettyPrint.hs \
8d7e41661dc4633488e93b13363137523ce59977jose borrego Common/Print_AS_Annotation.hs Common/PPUtils.hs CASL/LiteralFuns.hs \
8d7e41661dc4633488e93b13363137523ce59977jose borrego CASL/Print_AS_Basic.hs Common/AnnoState.hs CASL/Formula.hs \
8d7e41661dc4633488e93b13363137523ce59977jose borrego CASL/OpItem.hs CASL/SortItem.hs CASL/Inject.hs Common/Result.hs \
8d7e41661dc4633488e93b13363137523ce59977jose borrego Common/ConvertLiteral.hs Common/Earley.hs CASL/MixfixParser.hs \
8d7e41661dc4633488e93b13363137523ce59977jose borrego CASL/Parse_AS_Basic.hs CASL/Sign.hs CASL/Overload.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw CASL/StaticAna.hs Modal/AS_Modal.hs Modal/Parse_AS.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs
7b59d02d2a384be9a08087b14defadd214b3c1ddjb
7b59d02d2a384be9a08087b14defadd214b3c1ddjbHC = ghc
7b59d02d2a384be9a08087b14defadd214b3c1ddjbPERL = perl
7b59d02d2a384be9a08087b14defadd214b3c1ddjbHAPPY = happy -sga
7b59d02d2a384be9a08087b14defadd214b3c1ddjbDRIFT = utils/DrIFT
7b59d02d2a384be9a08087b14defadd214b3c1ddjbINLINEAXIOMS = utils/outlineAxioms
7b59d02d2a384be9a08087b14defadd214b3c1ddjbHADDOCK = haddock
7b59d02d2a384be9a08087b14defadd214b3c1ddjbCPPP = cpp
7b59d02d2a384be9a08087b14defadd214b3c1ddjb
7b59d02d2a384be9a08087b14defadd214b3c1ddjb# remove -fno-warn-orphans for older ghcs
9fb67ea305c66b6a297583b9b0db6796b0dfe497afshin salek ardakani - Sun Microsystems - Irvine United StatesHC_WARN = -Wall -fno-warn-orphans
7b59d02d2a384be9a08087b14defadd214b3c1ddjbHC_FLAGS = $(HC_WARN) -fglasgow-exts -fno-monomorphism-restriction \
7b59d02d2a384be9a08087b14defadd214b3c1ddjb -fallow-overlapping-instances -fallow-undecidable-instances
7b59d02d2a384be9a08087b14defadd214b3c1ddjb# -ddump-minimal-imports
7b59d02d2a384be9a08087b14defadd214b3c1ddjb# flags also come in via ../uni/uni-package.conf
7b59d02d2a384be9a08087b14defadd214b3c1ddjb# but added it here in case of compilation without uni
7b59d02d2a384be9a08087b14defadd214b3c1ddjb
7b59d02d2a384be9a08087b14defadd214b3c1ddjbHC_INCLUDE = $(addprefix -i, $(INCLUDE_PATH))
7b59d02d2a384be9a08087b14defadd214b3c1ddjb
7b59d02d2a384be9a08087b14defadd214b3c1ddjblogics = CASL HasCASL Isabelle Modal CoCASL COL CspCASL CASL_DL SPASS
7b59d02d2a384be9a08087b14defadd214b3c1ddjb
7b59d02d2a384be9a08087b14defadd214b3c1ddjbUNI_PACKAGE_CONF = $(wildcard ../uni/uni-package.conf)
7b59d02d2a384be9a08087b14defadd214b3c1ddjbifneq ($(strip $(UNI_PACKAGE_CONF)),)
7b59d02d2a384be9a08087b14defadd214b3c1ddjbHC_PACKAGE = -package-conf $(UNI_PACKAGE_CONF) -package uni-davinci \
7b59d02d2a384be9a08087b14defadd214b3c1ddjb -package uni-server -DUNI_PACKAGE
7b59d02d2a384be9a08087b14defadd214b3c1ddjb
7b59d02d2a384be9a08087b14defadd214b3c1ddjb# some modules from uni for haddock
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# if uni/server is included also HaXml sources are needed
8d7e41661dc4633488e93b13363137523ce59977jose borregouni_dirs = ../uni/davinci ../uni/graphs ../uni/events \
7b59d02d2a384be9a08087b14defadd214b3c1ddjb ../uni/reactor ../uni/util ../uni/posixutil
7b59d02d2a384be9a08087b14defadd214b3c1ddjb
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwuni_sources = $(wildcard $(addsuffix /haddock/*.hs, $(uni_dirs))) \
7b59d02d2a384be9a08087b14defadd214b3c1ddjb $(wildcard ../uni/htk/haddock/*/*.hs)
7b59d02d2a384be9a08087b14defadd214b3c1ddjbendif
7b59d02d2a384be9a08087b14defadd214b3c1ddjb
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### list of directories to run checks in
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwTESTDIRS += Common CASL HasCASL
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwPFE_TOOLDIR = $(wildcard ../programatica/tools)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwifneq ($(strip $(PFE_TOOLDIR)),)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw base/transforms base/transforms/Deriving property \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw property/syntax property/AST property/transforms \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw property/TI property/defs property/parse2 property/parse2/Parser
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwPFE_PATHS = $(addprefix $(PFE_TOOLDIR)/, $(PFE_DIRS))
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwpfe_sources = $(wildcard $(addsuffix /*hs, $(PFE_PATHS)))
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwPFE_PATH = $(addprefix -i, $(PFE_PATHS))
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwPFE_FLAGS = -package data -package text $(PFE_PATH) -DPROGRAMATICA
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwhappy_files += $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwLEX_DIR = $(PFE_TOOLDIR)/base/parse2/Lexer
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwpatch: Haskell/Programatica.patch
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw patch -sNlp0 -d $(PFE_TOOLDIR) -i `pwd`/$< || exit 0
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw$(LEX_DIR)/HsLex.hs: $(LEX_DIR)Gen/HsLexerGen
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw echo "{-# OPTIONS -w #-}" > $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $< >> $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw$(LEX_DIR)Gen/HsLexerGen: $(LEX_DIR)Gen/*.hs $(LEX_DIR)Spec/*.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(LEX_DIR)/HsTokens.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -O -package data \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw -i$(PFE_TOOLDIR)/base/tests/HbcLibraries \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw -i$(PFE_TOOLDIR)/base/lib \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw -i$(LEX_DIR) -i$(LEX_DIR)Gen -i$(LEX_DIR)Spec \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $@.hs -o $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw strip $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwlogics += Haskell
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwderived_sources += Haskell/PreludeString.hs $(LEX_DIR)/HsLex.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(LEX_DIR)Gen/HsLexerGen
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwAPPENDPRELUDESTRING = utils/appendHaskellPreludeString \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Haskell/ProgramaticaPrelude.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw## rule for appendHaskellPreludeString
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(APPENDPRELUDESTRING)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(APPENDPRELUDESTRING) < $< > $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw HsModule HsName HsLiteral HsIdent
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw base/defs/UniqueNames base/Modules/TypedIds base/TI/TiKinds \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw base/parse2/SourceNames base/syntax/SyntaxRec \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw property/syntax/PropSyntaxStruct
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwHaskell_files = $(addsuffix .hs, \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(addprefix $(PFE_TOOLDIR)/, $(Other_PFE_files)))
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw## rule for ATC generation
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwHaskell/ATC_Haskell.der.hs: $(Haskell_files) ATC/Haskell.header.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw utils/genRules
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw utils/genRules -r $(rule) -o Haskell -h ATC/Haskell.header.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(Haskell_files)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwTESTDIRS += ToHaskell
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwendif
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### Profiling (only for debugging)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### Attention every module must be compiled with profiling or the linker
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### cannot link the various .o files properly. So after switching on
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### Profiling, do an 'gmake real_clean; gmake'
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### and comment out HC_PACKAGE variable definition above.
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### Comment in the following line for switching on profiling.
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw#HC_PROF = -prof -auto-all
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwHCI_OPTS = $(HC_FLAGS) $(HC_INCLUDE) $(HC_PACKAGE) $(PFE_FLAGS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwHC_OPTS = $(HCI_OPTS) $(HC_PROF) -DCASLEXTENSIONS
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwDRIFT_OPTS = +RTS -K10m -RTS
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw####################################################################
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw## sources for hets
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwnon_sources = Common/LaTeX_maps.svmono.hs CspCASL/Main.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Static/LogicStructured.hs Common/CaslLanguage.hs ./Test.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwSOURCE_PATHS = $(COMMONLIB_PATH) $(CLEAN_PATH)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwsources = hets.hs $(filter-out $(non_sources), \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(wildcard $(addsuffix /[A-Z]*hs, $(SOURCE_PATHS))))
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw#endif
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwobjects = $(sources:%.hs=%.o)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwdrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw HasCASL/As.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Modal/AS_Modal.hs CoCASL/AS_CoCASL.hs COL/AS_COL.hs CASL_DL/AS_CASL_DL.hs\
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(gendrifted_files)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwgenrule_header_files = $(wildcard ATC/*.header.hs)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwatc_files = Common/AS_Annotation.der.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Static/DevGraph.hs Logic/Prover.hs Proofs/Proofs.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwatc_der_files = $(foreach file, $(atc_files), \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw ATC/$(basename $(basename $(notdir $(file)))).der.hs)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw CASL/AS_Basic_CASL.der.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwHasCASL_files = HasCASL/As.hs HasCASL/Le.hs HasCASL/Morphism.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw HasCASL/Sublogic.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwIsabelle_files = Isabelle/IsaSign.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwModal_files = Modal/AS_Modal.hs Modal/ModalSign.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwCOL_files = COL/AS_COL.hs COL/COLSign.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwCspCASL_files = CspCASL/AS_CSP_CASL.hs CspCASL/SignCSP.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwCASL_DL_files = CASL_DL/AS_CASL_DL.hs CASL_DL/Sign.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwSPASS_files = SPASS/Sign.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwatc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwgenerated_rule_files = $(atc_der_files) $(atc_logic_files)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwgendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwinline_axiom_files = Comorphisms/CASL2PCFOL.hs Comorphisms/PCFOL2FOL.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Comorphisms/Modal2CASL.hs Comorphisms/CASL2TopSort.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwgen_inline_axiom_files = $(patsubst %.hs,%.inline.hs, $(inline_axiom_files))
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwderived_sources += $(drifted_files) Driver/Version.hs $(happy_files) \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(inline_axiom_files) Modal/ModalSystems.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# sources that have {-# OPTIONS -cpp #-}
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwcpp_sources = Common/DynamicUtils.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Common/Lib/Set.hs Common/Lib/Map.hs ATC/Set.hs\
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Isabelle/Logic_Isabelle.hs Isabelle/CreateTheories.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw SPASS/Logic_SPASS.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw GUI/Utils.hs hets.hs CASL/CCC/FreeTypes.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Comorphisms/LogicList.hs Comorphisms/LogicGraph.hs $(happy_files)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwnondoc_sources = $(wildcard utils/DrIFT-src/*.hs) \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(wildcard utils/DrIFT-src/*.lhs) \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(wildcard utils/GenerateRules/*.hs) \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(wildcard utils/InlineAxioms/*.hs) \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(cpp_sources) $(pfe_sources) $(gen_inline_axiom_files) \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(genrule_header_files) $(generated_rule_files) \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Modal/GeneratePatterns.inline.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Haskell/PreludeString.append.hs Haskell/ProgramaticaPrelude.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw hxt/HXT.hs hxt/Net.hs $(patsubst %.hs, %.der.hs, $(drifted_files))
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# this variable holds the modules that should be documented
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwdoc_sources = $(filter-out $(nondoc_sources), $(sources)) \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(patsubst %.hs, %.hspp, $(cpp_sources)) $(uni_sources)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwtax_sources = Taxonomy/AbstractGraphView.hs Taxonomy/MMiSSOntology.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Taxonomy/MMiSSOntologyGraph.hs Taxonomy/OntoParser.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwtax_objects = $(patsubst %.hs, %.o, $(tax_sources))
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw####################################################################
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### targets
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw.PHONY : all hets-opt hets-optimized clean d_clean real_clean bin_clean \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw lib_clean distclean check capa hacapa h2h clean_genRules genRules \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw taxonomy count doc apache_doc post_doc4apache \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw derivedSources install_hets install release patch
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwpatch:
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwhets: $(sources) $(derived_sources)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o $@ hets.hs $(HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwhets-opt:
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(MAKE) distclean
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(MAKE) derivedSources
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(MAKE) real_clean
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(MAKE) hets-optimized
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwhets-optimized: $(derived_sources)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -O -o hets hets.hs $(HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw strip hets
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwhets-old: $(objects)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) -o hets $(HC_OPTS) $(objects)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwhets.cgi: $(sources) GUI/hets_cgi.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw ghc --make -package-conf /home/luettich/ghc-pkg/package.conf \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw -package WASH-CGI GUI/hets_cgi.hs -o hets.cgi $(HC_INCLUDE) \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC_FLAGS) -O
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw strip hets.cgi
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwtaxonomy: Taxonomy/taxonomyTool.hs $(tax_sources)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o Taxonomy/taxonomyTool $< -ifgl $(HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw###############################
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### TAGS files for (x)emacs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# load them with "M-x" "visit-tags-table" from
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# "HetCATS/hetcats.TAGS"
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# use "M-." to search for a tag
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# !!Beware this is somewhat instable, because it uses an absolute path!!
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwhetcats.TAGS: $(sources)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw /home/ger/linux/ghc-5.04.2/bin/i386-unknown-linux/hasktags \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(sources); mv TAGS $@; mv tags hetcats.tags
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw###############################
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### count lines of code
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwcount: $(sources)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw wc -l $(sources)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw###############################
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### Documentation via haddock
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwdoc: docs/index.html
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# generate haddock documentation with links to sources
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwdocs/index.html: $(doc_sources)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HADDOCK) $(doc_sources) -o docs -h -v \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw -i docs/base.haddock -i docs/parsec.haddock -s ../ \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw -t 'Hets - the Heterogeneous Tool Set' \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw -p Hets-Haddock-Prologue.txt
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# sources are not copied here
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwapache_doc:
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) docs/*.*
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw cvs up -d ; echo "CVS exited with: " $$?
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(MAKE) hets-opt
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(MAKE) doc
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(MAKE) post_doc4apache
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(MAKE) o_clean
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(MAKE) hets.cgi
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwpost_doc4apache:
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(PERL) utils/post_process_docs.pl docs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw 'Common.Lib.Map.html:Common.Lib._Map.html'
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw cp docs/*.* a-docs/
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw###############################
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### release management
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwderivedSources: $(derived_sources)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwutils/DrIFT: $(DRIFT_deps)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT && \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw strip ../DrIFT)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwutils/genRules: $(GENERATERULES_deps)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw (cd utils/GenerateRules; \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -i../DrIFT-src -i../.. $(HC_WARN) \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw GenerateRules.hs -o ../genRules && strip ../genRules)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw# "hssource" for ghc-5.04.2
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw$(INLINEAXIOMS): $(INLINEAXIOMS_deps)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make utils/InlineAxioms/InlineAxioms.hs $(HC_WARN) $(HC_PROF) \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw -package hssource -i../.. -o $(INLINEAXIOMS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw strip $(INLINEAXIOMS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwrelease:
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) -r HetCATS
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository\
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw co -P HetCATS
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) -r uni
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw if [ -d ../uni ] ; then ln -s ../uni uni ; fi
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) -r programatica
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw if [ -d ../programatica ] ; then \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw mkdir programatica; \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw ln -s ../../programatica/tools programatica/tools ; fi
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw (cd HetCATS; $(MAKE) derivedSources; $(MAKE) real_clean; \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw cp Makefile Makefile.orig; \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw cp ReleaseMakefile Makefile; \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw ./clean.sh; \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw find . -name CVS -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) clean.*)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw tar cvf HetCATS.tar HetCATS
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwinstall-hets:
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw chmod g+w hets
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw cp -p hets $(INSTALLDIR)/versions/hets-`cat version_nr`
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw cp -p version_nr $(INSTALLDIR)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw (cd $(INSTALLDIR); $(RM) hets; \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw ln -s versions/hets-`cat version_nr` hets; $(RM) version_nr)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwinstall: hets-opt install-hets
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw#############################
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### ATC DrIFT-rule generation
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwgenRules: $(generated_rule_files)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwgen_atc_files = \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw if [ -f ATC/$(basename $(basename $(notdir $(file)))).header.hs ]; \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw then utils/genRules -r $(rule) -o ATC -h \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw ATC/$(basename $(basename $(notdir $(file)))).header.hs $(file); \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw else utils/genRules -r $(rule) -o ATC $(file); fi ;
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw$(atc_der_files): $(atc_files) $(genrule_header_files) utils/genRules
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(foreach file, $(atc_files), $(gen_atc_files))
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwCASL/ATC_CASL.der.hs: $(CASL_files) utils/genRules
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw utils/genRules -r $(rule) -o CASL $(CASL_files)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) utils/genRules
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw utils/genRules -r $(rule) -o HasCASL $(HasCASL_files)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) utils/genRules
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw utils/genRules -r $(rule) -o Isabelle $(Isabelle_files)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwModal/ATC_Modal.der.hs: $(Modal_files) utils/genRules
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw utils/genRules -r $(rule) -o Modal $(Modal_files)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) utils/genRules
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw utils/genRules -r $(rule) -o CASL_DL $(CASL_DL_files)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwCoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) utils/genRules
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw utils/genRules -r $(rule) -o CoCASL $(CoCASL_files)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwCOL/ATC_COL.der.hs: $(COL_files) utils/genRules
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw utils/genRules -r $(rule) -o COL $(COL_files)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) utils/genRules
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw utils/genRules -r $(rule) -o CspCASL $(CspCASL_files)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwSPASS/ATC_SPASS.der.hs: $(SPASS_files) utils/genRules
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw utils/genRules -r $(rule) -o SPASS $(SPASS_files)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwrule = ShATermConvertible
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwclean_genRules:
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) $(generated_rule_files) $(gendrifted_files)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw###############
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### clean up
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwclean: bin_clean o_clean
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### removes *.hi and *.o in all include directories
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwo_clean:
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw for p in $(CLEAN_PATH) ; do \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw (cd $$p ; $(RM) *.hi *.o *.hspp) ; done
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### remove binaries
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwbin_clean:
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) hets
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) test_parser
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) CASL/capa
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) HasCASL/hacapa
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) Haskell/hapa
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) Haskell/hana
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) Haskell/wrap
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) ToHaskell/h2h
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) Syntax/hetpa
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) Static/hetana
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) GUI/hetdg
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) hetpa
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) hetana
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) hetdg
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) atctest2
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) atctest
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) Common/annos
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) ToHaskell/translateAna
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) Taxonomy/taxonomyTool
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### additonally removes *.d (dependency files) in every include directory
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### also delete *.d.bak (dependency file backups)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwd_clean: clean
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw for p in $(CLEAN_PATH) ; do \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw (cd $$p ; $(RM) *.d *.d.bak) ; done
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### remove files also in own libraries
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwlib_clean:
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw for p in $(COMMONLIB_PATH) ; do \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw (cd $$p ; $(RM) *.hi *.d *.o) ; done
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### additionally removes the files that define the sources-variable
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwreal_clean: bin_clean lib_clean clean
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### additionally removes files not in CVS tree
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwdistclean: real_clean clean_genRules d_clean
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) $(derived_sources)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) utils/DrIFT utils/genRules $(INLINEAXIOMS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw####################################################################
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### test targets
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw####################################################################
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### a parser to test annotation parser and Id parsers
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwtest_parser: Common/test_parser
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwCommon/test_parser: Common/test_parser.hs Common/AS_Annotation.der.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o $@ $< $(HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### interactive
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwghci:
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC)i $(HCI_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### christian's target
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### CASL parser
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwcapa: CASL/capa
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwCASL/capa: CASL/capa.hs Common/*.hs CASL/*.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o $@ $< $(HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### HasCASL parser
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwhacapa: HasCASL/hacapa
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwHasCASL/hacapa: HasCASL/hacapa.hs Common/*.hs HasCASL/*.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o $@ $< $(HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### Haskell analysis
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwhana: Haskell/hana
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwHaskell/hana: Haskell/hana.hs Haskell/HatAna.hs Haskell/PreludeString.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o $@ $< $(HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### Haskell to Isabelle-HOLCF translation
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwh2hf: ToHaskell/h2hf
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwToHaskell/h2hf: ToHaskell/h2hf.hs ToHaskell/*.hs Haskell/*.hs HasCASL/*.hs Isabelle/*.hs Common/*.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o $@ $< $(HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### HasCASL to Haskell translation
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwh2h: ToHaskell/h2h
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwToHaskell/h2h: ToHaskell/h2h.hs ToHaskell/*.hs Haskell/*.hs HasCASL/*.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o $@ $< $(HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### HetCASL parser
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwhetpa: Syntax/hetpa.hs Syntax/*.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o $@ $< $(HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### HetCASL parser
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwhetana: Static/hetana.hs Static/*.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o $@ $< $(HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### ATC test system
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwatctest: ATC/ATCTest.hs ATC/*.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o $@ $< $(HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwatctest2: ATC/ATCTest2.hs Common/SimpPretty.hs Common/ATerm/*.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Common/Lib/*.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o $@ $< $(HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### ATerm.Lib test system
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwatermlibtest: Common/ATerm/ATermLibTest.hs Common/SimpPretty.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Common/ATerm/*.hs Common/Lib/*.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o $@ $< $(HC_OPTS) $(EXTRA_HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwhatermdiff: Common/ATerm/ATermDiffMain.hs Common/SimpPretty.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Common/ATerm/*.hs Common/Lib/*.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o $@ $< $(HC_OPTS) $(EXTRA_HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### OWL_DL test target
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwOWL_DL/readAStest: OWL_DL/ToHaskellAS.hs Common/ATerm/*.hs \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw Common/Lib/*.hs OWL_DL/*.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o $@ $< $(HC_OPTS) $(EXTRA_HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### HetCASL with dev graph
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwhetdg: GUI/hetdg.hs $(drifted_files) *.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o $@ $< $(HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw### run tests in other directories
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwcheck:
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw for i in $(TESTDIRS); do $(MAKE) -C $$i check; done
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw####################################################################
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw## Preparing the version of HetCATS
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwDriver/Version.hs: Driver/Version.in version_nr
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(PERL) utils/build_version.pl version_nr < Driver/Version.in > $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw chmod 444 $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw## two hardcoded dependencies for a correct generation of Version.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwDriver/Options.hs Driver/WriteFn.hs Driver/ReadFn.hs: Driver/Version.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwhets.hs: Driver/Version.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw####################################################################
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw## rules for DrIFT
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw.SUFFIXES:
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw%: %.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) --make -o $@ $<
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw%.hs: %.y
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HAPPY) -o $@.tmp $<
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw echo "{-# OPTIONS -w #-}" > $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw cat $@.tmp >> $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) $@.tmp
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw%.hs: %.der.hs utils/DrIFT
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw ($(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $(DRIFT_OPTS) $< > $@)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw chmod 444 $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw## rules for inlineAxioms
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw%.hs: %.inline.hs $(INLINEAXIOMS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) $@
7b59d02d2a384be9a08087b14defadd214b3c1ddjb $(INLINEAXIOMS) $< > $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw chmod 444 $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw## rule for cpp and haddock
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw%.hspp: %.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) -E -cpp -DUNI_PACKAGE -optP -P $<
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw## compiling rules for object and interface files
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw%.o %.hi: %.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) -c $< $(HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw%.o %.hi: %.lhs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) -c $< $(HC_OPTS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw## compiling rules for dependencies
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw%.d : %.hs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw%.d : %.lhs
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw## rule for Modal/ModalSystems.hs needed for ModalLogic Translation
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amwModal/ModalSystems.hs: Modal/GeneratePatterns.inline.hs.in \
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw utils/genTransMFormFunc.pl $(INLINEAXIOMS)
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(RM) $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw $(PERL) utils/genTransMFormFunc.pl $< $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw chmod 444 $@
da6c28aaf62fa55f0fdb8004aa40f88f23bf53f0amw