Cross Reference: /hets/Makefile

	Makefile revision bff4b3f816be4c1e1d8ded76f1d5af786839e1a9
48c0c81cd6fabac9d3386406d97633780365b839coar# Makefile
9a93784d34c322d1996e8a7b794a75230eac81a4wrowe# $Id$
2a6c49cfaef5979a5a06098f3ce987cd76769409manoj# Author: (c) Klaus Luettich, Christian Maeder, Uni Bremen 2002-2009
2a6c49cfaef5979a5a06098f3ce987cd76769409manoj
2a6c49cfaef5979a5a06098f3ce987cd76769409manoj# This Makefile will compile the hets system and provides also
9a93784d34c322d1996e8a7b794a75230eac81a4wrowe# targets for test programs during implementation phases.
9a93784d34c322d1996e8a7b794a75230eac81a4wrowe
4bc630d510cef730e37b9207e145267f473b4471striker# !!! Note: This makefile is written for GNU make !!!
a096f8d13bee05fd6ea8b9b50b6c2e818eace7d1striker#           (gmake on solaris)
dba571e5c5a2586c7e2b382789f3250136ff7577jwoolley
dba571e5c5a2586c7e2b382789f3250136ff7577jwoolleyall: hets
bf3d1782a29630335a1df535eb395355ab1cd154jwoolley
07847078a10fe4e9229cc08adda5f421cafc0665jwoolleyinclude var.mk
0bd0176ce9f4321eeb506aa372d0bcc84befbf4cstriker
d8028365066fca602bf35d014530a1802114378crbb# the 'replacing spaces' example was taken from the (GNU) Make info manual
c25203fdca093d4504c51b4cd974ff60d5aa4fb1wroweempty =
c25203fdca093d4504c51b4cd974ff60d5aa4fb1wrowespace = $(empty) $(empty)
c25203fdca093d4504c51b4cd974ff60d5aa4fb1wrowe
d89c116f82699294ca744125723651c554bc5925wroweDRIFT_ENV = DERIVEPATH=$(subst $(space),:,$(PFE_PATHS))
4214e98fc9045e5010e66f9a967bd6d68f40d342aaron
8721697e2aece27b0e738519329f7976c72b27bfjerenkrantzDRIFT_deps = utils/DrIFT-src/*hs
c25203fdca093d4504c51b4cd974ff60d5aa4fb1wroweGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps)
91cacb801f6c0215b38322f6d2fc58cbfedfecfbjerenkrantzGENITCORRECTIONS_deps = utils/itcor/GenItCorrections.hs
91cacb801f6c0215b38322f6d2fc58cbfedfecfbjerenkrantzINLINEAXIOMS_deps = utils/InlineAxioms/InlineAxioms.hs \
df14f0d3a5191cdd7c4bb5b03acd135d43a6f51brbb    Common/Doc.hs CASL/ToDoc.hs Modal/AS_Modal.hs \
df14f0d3a5191cdd7c4bb5b03acd135d43a6f51brbb    Modal/Parse_AS.hs Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs
ab71b233b3a36489e44a7b061c48293be0b17788jwoolley
571760de5e60c0b459cb11be45507b923cd023eejwoolleyPERL = perl
571760de5e60c0b459cb11be45507b923cd023eejwoolleyHAPPY = happy -sga
9180a5933673ffb1af633c255ceee029340f3b1erbbGENRULES = utils/genRules
bcb6e1be6041dfeb549c8ea8d37f97ad4e90a0c3rbbGENRULECALL = $(GENRULES) -r Typeable -r ShATermConvertible \
9bd71e35f5d26d26d23fe3a677401828e842ed72wrowe    -i Data.Typeable -i ATerm.Lib
2900ab946a2d76b73a14cebfe2985d253f01c967stoddardGENRULECALL2 = $(GENRULES) -r Typeable -r ShATermLG \
a548c09e6a8ca1b059d0e93b5256c6ccb2b3c3cdrbb    -i Data.Typeable -i ATerm.Lib -i ATC.Grothendieck
a548c09e6a8ca1b059d0e93b5256c6ccb2b3c3cdrbbDRIFT = utils/DrIFT
a548c09e6a8ca1b059d0e93b5256c6ccb2b3c3cdrbbINLINEAXIOMS = utils/outlineAxioms
b876b7bcf0ce3d232da723246d709e8dbbfe8762rbbHADDOCK = haddock
cf6bf6c34c936e6a6fe731dbce4a5c3c8bf8e9a3gstein
35330e0d79ceb8027223bbb8330a381b1f989d6etrawickOSBYUNAME = $(shell uname)
6f6f4a4bca281779d196acbdd5c017bb90858305trawickifneq ($(findstring SunOS, $(OSBYUNAME)),)
8dd4618c4709236b4ea297d7250d282e463ce2d8rbbTAR = gtar
09bd86d0db1114ee23eda0a6eb76ca055877a1cftrawickPATCH = gpatch
2deb319e6b3de239f45c16a3e9e836d44f1f7108rbbelse
bd929c73ef04789b7183b840d8db6e01d03a4d86rbbTAR = tar
70f6f32765cfaadd6da8de6f0fea97ddd72d8fadmanojPATCH = patch
2a6c49cfaef5979a5a06098f3ce987cd76769409manojendif
af4c982a7cf4515f124935f99a329744035fc699slive
af4c982a7cf4515f124935f99a329744035fc699sliveARCH = $(subst $(space),,$(shell uname -m))
af4c982a7cf4515f124935f99a329744035fc699sliveSETUP = utils/Setup
af4c982a7cf4515f124935f99a329744035fc699sliveSETUPPREFIX = --prefix=$(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
af4c982a7cf4515f124935f99a329744035fc699slive
af4c982a7cf4515f124935f99a329744035fc699sliveSETUPPACKAGE = ../$(SETUP) clean; \
af4c982a7cf4515f124935f99a329744035fc699slive    ../$(SETUP) configure -O -p $(SETUPPREFIX) --user; \
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe    ../$(SETUP) build; ../$(SETUP) haddock; ../$(SETUP) install
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe# list glade files
f610c7c704235bc327dbe9b62982f5b3f8e30a77wroweGTK_GLADE_FILES = $(wildcard GUI/Glade/*.glade)
10270f6f94b2069d0d357805c140a9897449b9ccianhGTK_GLADE_HSFILES = $(subst .glade,.hs,$(GTK_GLADE_FILES))
4b62424416882687387923b3130b96241503cbe0jerenkrantz
5ca8e11fadb6f7a8d9d0367c1800205c99d4bcd6jerenkrantzderived_sources += $(GTK_GLADE_HSFILES)
5ca8e11fadb6f7a8d9d0367c1800205c99d4bcd6jerenkrantz
45b0e1c775c1cfed6473c9e5304179ccb9609f53stoddard# the list of logics that need ShATermConvertible instances
dbec4658981e4f9127e8676457c28d42932be7cdtrawicklogics = CASL HasCASL Isabelle Modal Temporal CoCASL COL CspCASL CASL_DL \
1b7e9aeb9867a1c94e24e8ae491d2dfcd0d225e3jerenkrantz    SoftFOL ConstraintCASL Propositional OWL RelationalScheme VSE OMDoc DFOL \
f4cb04eb78da02a38fcdd87489dc7b660107d55fjerenkrantz    LF Framework Maude ExtModal CommonLogic CSL QBF Adl HolLight Fpl
f4cb04eb78da02a38fcdd87489dc7b660107d55fjerenkrantz
f95a0b59eb24c631f15bd83e20c6cf823c432d83trawickTESTTARGETFILES += Scratch.hs CASL/fromKif.hs CASL/capa.hs HasCASL/hacapa.hs \
f95a0b59eb24c631f15bd83e20c6cf823c432d83trawick    Haskell/wrap.hs Isabelle/isa.hs Syntax/hetpa.hs \
f95a0b59eb24c631f15bd83e20c6cf823c432d83trawick    ATC/ATCTest.hs ATC/ATCTest2.hs Common/ATerm/ATermLibTest.hs \
f95a0b59eb24c631f15bd83e20c6cf823c432d83trawick    Common/ATerm/ATermDiffMain.hs Common/annos.hs \
ae72c92fd41562d7c0e8627c093fcbbae4ac9ef2coar    SoftFOL/tests/PrintTPTPTests.hs Comorphisms/test/showKP.hs \
f95a0b59eb24c631f15bd83e20c6cf823c432d83trawick    Comorphisms/test/sublogicGraph.hs PGIP/ParseProofScript.hs \
f95a0b59eb24c631f15bd83e20c6cf823c432d83trawick    Common/testxupdate.hs Common/testxpath.hs \
418f39e60a288f855ec033b566744489c3bbbf39trawick    SoftFOL/dfg.hs Adl/adl.hs GUI/displayDependencyGraph.hs
cc22a72861c58dda7f3768613aec864e4c4e0353striker
f95a0b59eb24c631f15bd83e20c6cf823c432d83trawick### list of directories to run checks in
ddafc111b94558ef4e2d7357ceda623315566ce3sliveTESTDIRS += Common CASL HasCASL test
ddafc111b94558ef4e2d7357ceda623315566ce3slive
ae72c92fd41562d7c0e8627c093fcbbae4ac9ef2coarhs_clean_files = Haskell/TiATC.hs Haskell/TiDecorateATC.hs \
ddafc111b94558ef4e2d7357ceda623315566ce3slive    Haskell/TiPropATC.hs Haskell/ATC_Haskell.der.hs
93f189f1198f539d3cfa75a15b23dcde60ee35ffrbb
93f189f1198f539d3cfa75a15b23dcde60ee35ffrbbPFE_TOOLDIR = $(wildcard programatica/tools)
cc22a72861c58dda7f3768613aec864e4c4e0353strikerifneq ($(strip $(PFE_TOOLDIR)),)
a4d9e6fdcd5d2ddd93a896b42a1d607ed258c316ianhPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
a4d9e6fdcd5d2ddd93a896b42a1d607ed258c316ianh    base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
ae72c92fd41562d7c0e8627c093fcbbae4ac9ef2coar    base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
93f189f1198f539d3cfa75a15b23dcde60ee35ffrbb    base/transforms base/transforms/Deriving property \
f4cb04eb78da02a38fcdd87489dc7b660107d55fjerenkrantz    property/syntax property/AST property/transforms \
f4cb04eb78da02a38fcdd87489dc7b660107d55fjerenkrantz    property/TI property/defs property/parse2 property/parse2/Parser
f4cb04eb78da02a38fcdd87489dc7b660107d55fjerenkrantz
f4cb04eb78da02a38fcdd87489dc7b660107d55fjerenkrantzPFE_PATHS = $(addprefix $(PFE_TOOLDIR)/, $(PFE_DIRS))
f4cb04eb78da02a38fcdd87489dc7b660107d55fjerenkrantzpfe_sources = $(wildcard $(addsuffix /*hs, $(PFE_PATHS)))
f4cb04eb78da02a38fcdd87489dc7b660107d55fjerenkrantzPFE_PATH = $(addprefix -i, $(PFE_PATHS))
f4cb04eb78da02a38fcdd87489dc7b660107d55fjerenkrantzhappy_files += $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs
f4cb04eb78da02a38fcdd87489dc7b660107d55fjerenkrantz
f4cb04eb78da02a38fcdd87489dc7b660107d55fjerenkrantzLEX_DIR = $(PFE_TOOLDIR)/base/parse2/Lexer
f4cb04eb78da02a38fcdd87489dc7b660107d55fjerenkrantz
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewroweprogramatica_pkg: $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs \
f4cb04eb78da02a38fcdd87489dc7b660107d55fjerenkrantz            $(LEX_DIR)/HsLex.hs $(SETUP)
f4cb04eb78da02a38fcdd87489dc7b660107d55fjerenkrantz    @if $(HCPKG) field programatica version; then \
f4cb04eb78da02a38fcdd87489dc7b660107d55fjerenkrantz          echo "of programatica package found"; else \
f4cb04eb78da02a38fcdd87489dc7b660107d55fjerenkrantz          ($(PATCH) -usNlp0 -d $(PFE_TOOLDIR) \
cc22a72861c58dda7f3768613aec864e4c4e0353striker            -i `pwd`/Haskell/Programatica.patch || exit 0); \
1af5c0e25a649bb298e25ddfa5418fa18bdcb107aaron          cp -f utils/programatica.cabal $(PFE_TOOLDIR); \
82455c2e3b6991846fbcbf0c9e41f57dbc681217brianp          cp -f $(SETUP) $(PFE_TOOLDIR); \
82455c2e3b6991846fbcbf0c9e41f57dbc681217brianp          cp -f LICENSE.txt $(PFE_TOOLDIR); \
f4cb04eb78da02a38fcdd87489dc7b660107d55fjerenkrantz          (cd $(PFE_TOOLDIR); \
1b3f48fd6b1ccb8745f908e40156c5a85ca3c347jerenkrantz           ./Setup configure $(SETUPPREFIX) --user; \
b05930e6008f69bd323abe0c10f81f40ffd27983brianp           ./Setup build; ./Setup install) fi
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe$(LEX_DIR)/HsLex.hs: $(LEX_DIR)Gen/HsLexerGen
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe    echo "{-# OPTIONS -w #-}" > $@
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe    $< >> $@
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe$(LEX_DIR)Gen/HsLexerGen: $(LEX_DIR)Gen/*.hs $(LEX_DIR)Spec/*.hs \
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe    $(LEX_DIR)/HsTokens.hs
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe    $(HC) --make -fno-monomorphism-restriction -O \
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe           -i$(PFE_TOOLDIR)/base/tests/HbcLibraries \
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe           -i$(PFE_TOOLDIR)/base/lib \
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe       -i$(LEX_DIR) -i$(LEX_DIR)Gen -i$(LEX_DIR)Spec \
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe              $@.hs -o $@
6362fd5c48f6b2193f5d356a9747172101b24e91jerenkrantz
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowelogics += Haskell
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowederived_sources += Haskell/PreludeString.hs
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe
f610c7c704235bc327dbe9b62982f5b3f8e30a77wroweAPPENDPRELUDESTRING = utils/appendHaskellPreludeString \
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe    Haskell/ProgramaticaPrelude.hs
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe## rule for appendHaskellPreludeString
630f5fc1277582643fe0f831a4830e15127bd047jwoolleyHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
630f5fc1277582643fe0f831a4830e15127bd047jwoolley    $(APPENDPRELUDESTRING)
630f5fc1277582643fe0f831a4830e15127bd047jwoolley    $(RM) $@
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe    $(APPENDPRELUDESTRING) < $< > $@
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe    chmod 444 $@
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe
f610c7c704235bc327dbe9b62982f5b3f8e30a77wroweAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
56b2562cb4041a21bc313fde3204beabdb758800jwoolley    HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
56b2562cb4041a21bc313fde3204beabdb758800jwoolley    HsModule HsName HsLiteral HsIdent
56b2562cb4041a21bc313fde3204beabdb758800jwoolley
56b2562cb4041a21bc313fde3204beabdb758800jwoolley#files in base/TI/
56b2562cb4041a21bc313fde3204beabdb758800jwoolley#Ti_Haskell_files = TiTypes TiKinds TiDecorate TiInstanceDB
56b2562cb4041a21bc313fde3204beabdb758800jwoolley
56b2562cb4041a21bc313fde3204beabdb758800jwoolley#Ti_Prop_files = property/TI/TiPropDecorate property/syntax/PropSyntaxRec
f881b8be216de36c6b964324c772450bca38a4e6trawick
f881b8be216de36c6b964324c772450bca38a4e6trawickOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \
f881b8be216de36c6b964324c772450bca38a4e6trawick    base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \
f881b8be216de36c6b964324c772450bca38a4e6trawick    base/parse2/SourceNames base/syntax/SyntaxRec \
f881b8be216de36c6b964324c772450bca38a4e6trawick    property/syntax/PropSyntaxStruct
f881b8be216de36c6b964324c772450bca38a4e6trawick
56b2562cb4041a21bc313fde3204beabdb758800jwoolleyHaskell_files = $(addsuffix .hs, \
b05930e6008f69bd323abe0c10f81f40ffd27983brianp    $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
b05930e6008f69bd323abe0c10f81f40ffd27983brianp    $(addprefix $(PFE_TOOLDIR)/, $(Other_PFE_files)))
b05930e6008f69bd323abe0c10f81f40ffd27983brianp
b05930e6008f69bd323abe0c10f81f40ffd27983brianp## rule for ATC generation
b05930e6008f69bd323abe0c10f81f40ffd27983brianpHaskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
4c7dab038d90d7feb67ef8ddbfacc77be8c9dbf0jwoolley    $(GENRULECALL) -i Haskell.BaseATC -o $@ $(Haskell_files)
4c7dab038d90d7feb67ef8ddbfacc77be8c9dbf0jwoolley
4c7dab038d90d7feb67ef8ddbfacc77be8c9dbf0jwoolleyhs_der_files += $(hs_clean_files)
4c7dab038d90d7feb67ef8ddbfacc77be8c9dbf0jwoolley
bb2a72a6e2327ae4f177c9d26e9d433033cfc27eaaronTESTDIRS += ToHaskell
8c8fbb8546af54582539898be704411a60058d85trawickTESTTARGETFILES += Haskell/hana.hs Haskell/h2h.hs Haskell/h2hf.hs
8c8fbb8546af54582539898be704411a60058d85trawickelse
8c8fbb8546af54582539898be704411a60058d85trawick# unset this variable from var.mk because the programatica sources
f9b8e29cfca92cf0a996e8ab17fa1a1f447cecc7stoddard# are needed to created our sources!
f9b8e29cfca92cf0a996e8ab17fa1a1f447cecc7stoddardPFE_FLAGS =
f9b8e29cfca92cf0a996e8ab17fa1a1f447cecc7stoddardendif
a23b1c5a74208b03884c09a6f9dd5d6c97fa6415trawick# end of programatica stuff
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewrowe
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewroweTESTTARGETS = $(subst .hs,,$(TESTTARGETFILES))
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewrowe
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewroweGHCVERSION = $(shell ghc --numeric-version)
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewroweifneq ($(findstring 12, $(GHCVERSION)),)
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewroweNO_BIND_WARNING = -fno-warn-unused-do-bind
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewroweendif
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewrowe
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewroweifneq ($(findstring 7, $(GHCVERSION)),)
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewroweNO_BIND_WARNING = -fno-warn-unused-do-bind -fno-warn-warnings-deprecations
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewroweendif
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewrowe
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewroweHC_WARN = -Wall -fno-warn-orphans $(NO_BIND_WARNING)
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewrowe
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewroweINCLUDE_PATH =
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewroweHC_INCLUDE = $(addprefix -i, $(INCLUDE_PATH))
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewrowe
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewrowe# uncomment HC_PROF for profiling (and comment out packages in var.mk)
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewrowe# call resulting binary with a final +RTS -p to get a file <binary>.prof
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewrowe# HC_PROF = -prof -auto-all -osuf p_o +RTS -K100m -RTS
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewrowe
f610c7c704235bc327dbe9b62982f5b3f8e30a77wroweifneq ($(findstring -O, $(CFLAGS)),)
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewroweHC_DEBIAN_OPT=-O
638a9edaf48cf003cd40ac25ee8c25f572107414stoddardendif
638a9edaf48cf003cd40ac25ee8c25f572107414stoddard
638a9edaf48cf003cd40ac25ee8c25f572107414stoddardHC_OPTS += $(HC_WARN) $(HC_INCLUDE) $(HC_PROF) $(HC_DEBIAN_OPT)
db2d668e6233d8949b35ee7f9f42f444758f9ce9rbb# -ddump-minimal-imports
db2d668e6233d8949b35ee7f9f42f444758f9ce9rbb# uncomment the above line to generate .imports files for displayDependencyGraph
db2d668e6233d8949b35ee7f9f42f444758f9ce9rbb
db2d668e6233d8949b35ee7f9f42f444758f9ce9rbb# files generated by DriFT
db2d668e6233d8949b35ee7f9f42f444758f9ce9rbbdrifted_files = Common/AS_Annotation.hs \
db2d668e6233d8949b35ee7f9f42f444758f9ce9rbb    CASL/AS_Basic_CASL.hs Modal/AS_Modal.hs \
db2d668e6233d8949b35ee7f9f42f444758f9ce9rbb    Syntax/AS_Structured.hs Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
1ea5221b240a8b41a07c6fb04aab5a73adcddabfaaron    Propositional/AS_BASIC_Propositional.hs \
1ea5221b240a8b41a07c6fb04aab5a73adcddabfaaron    CoCASL/AS_CoCASL.hs COL/AS_COL.hs \
1ea5221b240a8b41a07c6fb04aab5a73adcddabfaaron    CASL_DL/AS_CASL_DL.hs OWL/ReadWrite.hs \
1ea5221b240a8b41a07c6fb04aab5a73adcddabfaaron    CspCASL/AS_CspCASL_Process.hs CspCASL/AS_CspCASL.hs \
a12f07383f9c286519fe88f559187148d5bd1c16aaron    RelationalScheme/AS.hs ATC/Grothendieck.hs \
1ea5221b240a8b41a07c6fb04aab5a73adcddabfaaron    ExtModal/AS_ExtModal.hs QBF/AS_BASIC_QBF.hs \
1ea5221b240a8b41a07c6fb04aab5a73adcddabfaaron    CommonLogic/AS_CommonLogic.hs Fpl/As.hs \
5d12baef135b5d3cb94745e007a1575398469724jerenkrantz    $(gendrifted_files)
5d12baef135b5d3cb94745e007a1575398469724jerenkrantz
5d12baef135b5d3cb94745e007a1575398469724jerenkrantz# files to extract data types from to generate ShATermConvertible instances
5d12baef135b5d3cb94745e007a1575398469724jerenkrantzatc_files = Common/AS_Annotation.der.hs Common/DefaultMorphism.hs \
5d12baef135b5d3cb94745e007a1575398469724jerenkrantz    Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
5d12baef135b5d3cb94745e007a1575398469724jerenkrantz    Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
5d12baef135b5d3cb94745e007a1575398469724jerenkrantz    Logic/Prover.hs Common/LibName.hs \
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe    Common/Consistency.hs Common/ProofTree.hs Static/DevGraph.hs \
5d12baef135b5d3cb94745e007a1575398469724jerenkrantz    Common/Id.hs Common/Result.hs Common/OrderedMap.hs \
b865daaa4ef731a7066ee6d97e2aae36c7743939jerenkrantz    Common/Lib/Graph.hs
b865daaa4ef731a7066ee6d97e2aae36c7743939jerenkrantz
b865daaa4ef731a7066ee6d97e2aae36c7743939jerenkrantz# files generated by genRules as input for DriFT
f881b8be216de36c6b964324c772450bca38a4e6trawickatc_der_files = $(foreach file, $(atc_files), \
f881b8be216de36c6b964324c772450bca38a4e6trawick    ATC/$(basename $(basename $(notdir $(file)))).der.hs)
f881b8be216de36c6b964324c772450bca38a4e6trawick
dc098c7ce5d36179c504d09fc722d190683d0262aaron# the rules to create ATC .der.hs file for DriFT
dc098c7ce5d36179c504d09fc722d190683d0262aaronATC/Id.der.hs: Common/Id.hs $(GENRULES)
dc098c7ce5d36179c504d09fc722d190683d0262aaron    $(GENRULECALL) -o $@ $<
dc098c7ce5d36179c504d09fc722d190683d0262aaron
dc098c7ce5d36179c504d09fc722d190683d0262aaronATC/Result.der.hs: Common/Result.hs $(GENRULES)
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe    $(GENRULECALL) -i ATC.Id -o $@ $<
dc098c7ce5d36179c504d09fc722d190683d0262aaron
0bcb1fe39dfaacf9745b6633f5cc9ebc8e2596caaaronATC/OrderedMap.der.hs: Common/OrderedMap.hs $(GENRULES)
0bcb1fe39dfaacf9745b6633f5cc9ebc8e2596caaaron    $(GENRULECALL) -o $@ $<
0bcb1fe39dfaacf9745b6633f5cc9ebc8e2596caaaron
0bcb1fe39dfaacf9745b6633f5cc9ebc8e2596caaaronATC/Graph.der.hs: Common/Lib/Graph.hs $(GENRULES)
0bcb1fe39dfaacf9745b6633f5cc9ebc8e2596caaaron    $(GENRULECALL) -o $@ $<
0bcb1fe39dfaacf9745b6633f5cc9ebc8e2596caaaron
33f5961d34a8b5390cebad0543b3ebe67830e5d7jerenkrantzATC/ProofTree.der.hs: Common/ProofTree.hs $(GENRULES)
33f5961d34a8b5390cebad0543b3ebe67830e5d7jerenkrantz    $(GENRULECALL) -o $@ $<
33f5961d34a8b5390cebad0543b3ebe67830e5d7jerenkrantz
33f5961d34a8b5390cebad0543b3ebe67830e5d7jerenkrantzATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
33f5961d34a8b5390cebad0543b3ebe67830e5d7jerenkrantz    $(GENRULECALL) -i ATC.Id -i Common.ATerm.ConvInstances -o $@ $<
33f5961d34a8b5390cebad0543b3ebe67830e5d7jerenkrantz
ff42f83cbf31893bcde9712332a8e5ee970f6a74trawickATC/Consistency.der.hs: Common/Consistency.hs $(GENRULES)
ff42f83cbf31893bcde9712332a8e5ee970f6a74trawick    $(GENRULECALL) -x Common.Consistency.ConservativityChecker -o $@ $<
ff42f83cbf31893bcde9712332a8e5ee970f6a74trawick
33f5961d34a8b5390cebad0543b3ebe67830e5d7jerenkrantzATC/LibName.der.hs: Common/LibName.hs $(GENRULES)
54e1babd5a5a56c576eeeace54110150769cc916coar    $(GENRULECALL) -i ATC.Id -i Common.ATerm.ConvInstances -o $@ $<
54e1babd5a5a56c576eeeace54110150769cc916coar
54e1babd5a5a56c576eeeace54110150769cc916coarATC/ExtSign.der.hs: Common/ExtSign.hs $(GENRULES)
54e1babd5a5a56c576eeeace54110150769cc916coar    $(GENRULECALL) -i Common.ATerm.ConvInstances -o $@ $<
54e1babd5a5a56c576eeeace54110150769cc916coar
54e1babd5a5a56c576eeeace54110150769cc916coarATC/DefaultMorphism.der.hs: Common/DefaultMorphism.hs $(GENRULES)
54e1babd5a5a56c576eeeace54110150769cc916coar    $(GENRULECALL) -o $@ $<
54e1babd5a5a56c576eeeace54110150769cc916coar
54e1babd5a5a56c576eeeace54110150769cc916coarATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
54e1babd5a5a56c576eeeace54110150769cc916coar    $(GENRULECALL2) -o $@ $<
54e1babd5a5a56c576eeeace54110150769cc916coar
54e1babd5a5a56c576eeeace54110150769cc916coarATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
54e1babd5a5a56c576eeeace54110150769cc916coar    $(GENRULECALL2) -i ATC.AS_Structured -o $@ $<
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe
f610c7c704235bc327dbe9b62982f5b3f8e30a77wroweATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe    $(GENRULECALL2) -i ATC.AS_Architecture -i ATC.LibName -o $@ $<
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe
949aa7bba7f804faa8e6b08cad42a98fc0255d85jerenkrantzATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
949aa7bba7f804faa8e6b08cad42a98fc0255d85jerenkrantz    $(GENRULECALL) -i ATC.AS_Annotation -i ATC.Result -o $@ $<
949aa7bba7f804faa8e6b08cad42a98fc0255d85jerenkrantz
949aa7bba7f804faa8e6b08cad42a98fc0255d85jerenkrantzATC/Prover.der.hs: Logic/Prover.hs $(GENRULES)
949aa7bba7f804faa8e6b08cad42a98fc0255d85jerenkrantz    $(GENRULECALL) -x Logic.Prover.ProverTemplate \
949aa7bba7f804faa8e6b08cad42a98fc0255d85jerenkrantz            -x Logic.Prover.ConsChecker \
e0427bf8e52a8fb920cb8b6adb5cdb3b6535b7fecoar            -i ATC.AS_Annotation -i ATC.OrderedMap -o $@ $<
e0427bf8e52a8fb920cb8b6adb5cdb3b6535b7fecoar
07021d9f405849228b859d9fb4b877f20e4fbba3jerenkrantzATC/DevGraph.der.hs: Static/DevGraph.hs $(GENRULES)
f126ee03179eb54308118f1ec3de5a7b461685d8aaron    $(GENRULECALL2) -i ATC.LibName -i ATC.Consistency \
f126ee03179eb54308118f1ec3de5a7b461685d8aaron            -i ATC.AS_Library -o $@ $<
f126ee03179eb54308118f1ec3de5a7b461685d8aaron
f126ee03179eb54308118f1ec3de5a7b461685d8aaron# ATC files for every logic
f126ee03179eb54308118f1ec3de5a7b461685d8aaronCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
f126ee03179eb54308118f1ec3de5a7b461685d8aaron    CASL/AS_Basic_CASL.der.hs
f126ee03179eb54308118f1ec3de5a7b461685d8aaron
f126ee03179eb54308118f1ec3de5a7b461685d8aaronHasCASL_files = Common/Prec.hs HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs
f126ee03179eb54308118f1ec3de5a7b461685d8aaronIsabelle_files = Isabelle/IsaSign.hs
f126ee03179eb54308118f1ec3de5a7b461685d8aaron
f126ee03179eb54308118f1ec3de5a7b461685d8aaronPropositional_files = Propositional/Sign.hs Propositional/Morphism.hs \
f126ee03179eb54308118f1ec3de5a7b461685d8aaron    Propositional/AS_BASIC_Propositional.hs Propositional/Symbol.hs \
f126ee03179eb54308118f1ec3de5a7b461685d8aaron    Propositional/Sublogic.hs
f126ee03179eb54308118f1ec3de5a7b461685d8aaron
f126ee03179eb54308118f1ec3de5a7b461685d8aaronHolLight_files = HolLight/Sentence.hs HolLight/Sign.hs \
109faf633e12ab0bbdd602c7addc795cce59e8addreid                 HolLight/Sublogic.hs HolLight/Term.hs
109faf633e12ab0bbdd602c7addc795cce59e8addreid
109faf633e12ab0bbdd602c7addc795cce59e8addreidQBF_files = Propositional/Sign.hs QBF/Morphism.hs \
109faf633e12ab0bbdd602c7addc795cce59e8addreid    QBF/AS_BASIC_QBF.hs QBF/Symbol.hs \
109faf633e12ab0bbdd602c7addc795cce59e8addreid    QBF/Sublogic.hs
109faf633e12ab0bbdd602c7addc795cce59e8addreid
109faf633e12ab0bbdd602c7addc795cce59e8addreidRS_files = RelationalScheme/AS.hs RelationalScheme/Sign.hs
109faf633e12ab0bbdd602c7addc795cce59e8addreid
109faf633e12ab0bbdd602c7addc795cce59e8addreidModal_files = Modal/AS_Modal.hs Modal/ModalSign.hs
109faf633e12ab0bbdd602c7addc795cce59e8addreidTemporal_files = Temporal/AS_BASIC_Temporal.hs Temporal/Sign.hs \
109faf633e12ab0bbdd602c7addc795cce59e8addreid    Temporal/Symbol.hs Temporal/Morphism.hs
109faf633e12ab0bbdd602c7addc795cce59e8addreid
109faf633e12ab0bbdd602c7addc795cce59e8addreidConstraintCASL_files = ConstraintCASL/AS_ConstraintCASL.hs
109faf633e12ab0bbdd602c7addc795cce59e8addreidCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs
4ca13a5e126946272f02637e268a8e09193c553ecoarCOL_files = COL/AS_COL.hs COL/COLSign.hs
4ca13a5e126946272f02637e268a8e09193c553ecoar
4ca13a5e126946272f02637e268a8e09193c553ecoarCspCASL_files = CspCASL/AS_CspCASL.hs CspCASL/AS_CspCASL_Process.hs \
4ca13a5e126946272f02637e268a8e09193c553ecoar    CspCASL/SignCSP.hs CspCASL/Morphism.hs
4ca13a5e126946272f02637e268a8e09193c553ecoar
48c0c81cd6fabac9d3386406d97633780365b839coarCASL_DL_files = CASL_DL/AS_CASL_DL.hs CASL_DL/Sign.hs CASL_DL/Sublogics.hs
48c0c81cd6fabac9d3386406d97633780365b839coarSoftFOL_files = SoftFOL/Sign.hs
48c0c81cd6fabac9d3386406d97633780365b839coarOWL_files = OWL/Sign.hs OWL/Sublogic.hs OWL/Morphism.hs
48c0c81cd6fabac9d3386406d97633780365b839coarVSE_files = VSE/As.hs
48c0c81cd6fabac9d3386406d97633780365b839coarOMDoc_files = OMDoc/OMDocInterface.hs
48c0c81cd6fabac9d3386406d97633780365b839coarDFOL_files = DFOL/AS_DFOL.hs DFOL/Sign.hs DFOL/Morphism.hs DFOL/Symbol.hs
48c0c81cd6fabac9d3386406d97633780365b839coarLF_files = LF/Sign.hs LF/Morphism.hs LF/AS.hs
e0427bf8e52a8fb920cb8b6adb5cdb3b6535b7fecoarFramework_files = Framework/AS.hs
4ca13a5e126946272f02637e268a8e09193c553ecoar
b84f66c93f820824b1d5455181f55598b766319cwroweMaude_files = Maude/Sign.hs Maude/Morphism.hs Maude/Sentence.hs \
b84f66c93f820824b1d5455181f55598b766319cwrowe    Maude/Symbol.hs Maude/AS_Maude.hs
b84f66c93f820824b1d5455181f55598b766319cwrowe
b84f66c93f820824b1d5455181f55598b766319cwroweExtModal_files = ExtModal/AS_ExtModal.hs ExtModal/ExtModalSign.hs \
7fe18c15b669db9d191859695901dc4fcf3829dawrowe    ExtModal/MorphismExtension.hs
7fe18c15b669db9d191859695901dc4fcf3829dawrowe
7fe18c15b669db9d191859695901dc4fcf3829dawroweCSL_files = CSL/Sign.hs CSL/Morphism.hs CSL/AS_BASIC_CSL.hs CSL/Symbol.hs
cc22a72861c58dda7f3768613aec864e4c4e0353striker
cc22a72861c58dda7f3768613aec864e4c4e0353strikerCommonLogic_files = CommonLogic/AS_CommonLogic.hs CommonLogic/Sign.hs \
cc22a72861c58dda7f3768613aec864e4c4e0353striker  CommonLogic/Symbol.hs CommonLogic/Morphism.hs
cc22a72861c58dda7f3768613aec864e4c4e0353striker
60d567a0c2aae815ee6fc20c0d65032bea52c92cwroweAdl_files = Adl/As.hs Adl/Sign.hs
60d567a0c2aae815ee6fc20c0d65032bea52c92cwrowe
60d567a0c2aae815ee6fc20c0d65032bea52c92cwroweFpl_files = Fpl/As.hs Fpl/Sign.hs
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe
f610c7c704235bc327dbe9b62982f5b3f8e30a77wrowe# ATC DrIFT-rule generation for logics
f610c7c704235bc327dbe9b62982f5b3f8e30a77wroweCASL/ATC_CASL.der.hs: $(CASL_files) $(GENRULES)
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewrowe    $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(CASL_files)
2fb49a1d25f38421a68d31b4cbb5d9293fdeafbewrowe
60d567a0c2aae815ee6fc20c0d65032bea52c92cwroweRelationalScheme/ATC_RelationalScheme.der.hs: $(RS_files) $(GENRULES)
19cbe4d7b7c931723e7249de6829bf965a1fee72stoddard    $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(RS_files)
19cbe4d7b7c931723e7249de6829bf965a1fee72stoddard
b187d568e1507d75139ebc13ca945b38fc05d55cstoddardPropositional/ATC_Propositional.der.hs: $(Propositional_files) $(GENRULES)
b187d568e1507d75139ebc13ca945b38fc05d55cstoddard    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Propositional_files)
b187d568e1507d75139ebc13ca945b38fc05d55cstoddard
1c6fb1e726ce22694de0e9a957adb67b929e5d4fstoddardQBF/ATC_QBF.der.hs: $(QBF_files) $(GENRULES)
1c6fb1e726ce22694de0e9a957adb67b929e5d4fstoddard    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(QBF_files)
a5ed555df952c85bc1b179f5981e8a6c54ba16e6stoddard
d2f8b010487ffa990a9c268df5a25579e7291bcdrbb
d2f8b010487ffa990a9c268df5a25579e7291bcdrbbHolLight/ATC_HolLight.der.hs: $(HolLight_files) $(GENRULES)
a5ed555df952c85bc1b179f5981e8a6c54ba16e6stoddard    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(HolLight_files)
0bff2f28ef945280c17099c142126178a78e1e54manoj
0bff2f28ef945280c17099c142126178a78e1e54manojHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)
0bff2f28ef945280c17099c142126178a78e1e54manoj    $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(HasCASL_files)
1e585ba09ea32272e63c4c39c35491e975d21d98stoddard
0bff2f28ef945280c17099c142126178a78e1e54manojIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
35330e0d79ceb8027223bbb8330a381b1f989d6etrawick    $(GENRULECALL) -o $@ $(Isabelle_files)
0bff2f28ef945280c17099c142126178a78e1e54manoj
9c09943bad734ebd5c7cc10bd6d63b75c4c6e056stoddardModal/ATC_Modal.der.hs: $(Modal_files) $(GENRULES)
ff849e4163ed879288f0df15f78b6c9d278ec804fanf    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Modal_files)
ff849e4163ed879288f0df15f78b6c9d278ec804fanf
447c6ce3ff08073c44f6785d5256271fcb877512wroweTemporal/ATC_Temporal.der.hs: $(Temporal_files) $(GENRULES)
e0427bf8e52a8fb920cb8b6adb5cdb3b6535b7fecoar    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Temporal_files)
e0427bf8e52a8fb920cb8b6adb5cdb3b6535b7fecoar
e0427bf8e52a8fb920cb8b6adb5cdb3b6535b7fecoarConstraintCASL/ATC_ConstraintCASL.der.hs: $(ConstraintCASL_files) $(GENRULES)
e0427bf8e52a8fb920cb8b6adb5cdb3b6535b7fecoar    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ConstraintCASL_files)
6758b07b4b79f898b0f56375016cea7da0bfb495wrowe
6758b07b4b79f898b0f56375016cea7da0bfb495wroweCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
6758b07b4b79f898b0f56375016cea7da0bfb495wrowe    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
7fe18c15b669db9d191859695901dc4fcf3829dawrowe
db3ccce11afac4fc1d4f51a65424412f7480c46cgsteinCoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)
dd4713dc5b186f4d1be7b88f86608fdb84cbe5d5gstein    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
48c0c81cd6fabac9d3386406d97633780365b839coar
48c0c81cd6fabac9d3386406d97633780365b839coarCOL/ATC_COL.der.hs: $(COL_files) $(GENRULES)
48c0c81cd6fabac9d3386406d97633780365b839coar    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(COL_files)
48c0c81cd6fabac9d3386406d97633780365b839coar
db3ccce11afac4fc1d4f51a65424412f7480c46cgsteinCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
79d5106a9b65b956d646f5daae4b94bc79e315b8trawick    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)
79d5106a9b65b956d646f5daae4b94bc79e315b8trawick
79d5106a9b65b956d646f5daae4b94bc79e315b8trawickSoftFOL/ATC_SoftFOL.der.hs: $(SoftFOL_files) $(GENRULES)
cf6bf6c34c936e6a6fe731dbce4a5c3c8bf8e9a3gstein    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SoftFOL_files)
cf6bf6c34c936e6a6fe731dbce4a5c3c8bf8e9a3gstein
cf6bf6c34c936e6a6fe731dbce4a5c3c8bf8e9a3gsteinOWL/ATC_OWL.der.hs: $(OWL_files) $(GENRULES)
6fa71a1bd8c61518b05f5798a7a1594c270e78afrbb    $(GENRULECALL) -i OWL.ReadWrite -o $@ $(OWL_files)
93c5cba06b623ebe8e4372e886eece12d9a80c3egstein
14cccaddba3a9263cf0d0ddc311e18f3e3dc9b0fgsteinVSE/ATC_VSE.der.hs: $(VSE_files) $(GENRULES)
14cccaddba3a9263cf0d0ddc311e18f3e3dc9b0fgstein    $(GENRULECALL) -x VSE.As.FoldRec -i CASL.ATC_CASL -o $@ $(VSE_files)
14cccaddba3a9263cf0d0ddc311e18f3e3dc9b0fgstein
14cccaddba3a9263cf0d0ddc311e18f3e3dc9b0fgsteinOMDoc/ATC_OMDoc.der.hs: $(OMDoc_files) $(GENRULES)
14cccaddba3a9263cf0d0ddc311e18f3e3dc9b0fgstein    $(GENRULECALL) -i OMDoc.ATerm -o $@ $(OMDoc_files)
14cccaddba3a9263cf0d0ddc311e18f3e3dc9b0fgstein
823c303d33c9e637a83d82208bcbafaf5f532d7bgsteinDFOL/ATC_DFOL.der.hs: $(DFOL_files) $(GENRULES)
823c303d33c9e637a83d82208bcbafaf5f532d7bgstein    $(GENRULECALL)  -i ATC.AS_Annotation -o $@ $(DFOL_files)
e636eba7474e0010b5c7198af1c2fe5ad8652dbbmanoj
e636eba7474e0010b5c7198af1c2fe5ad8652dbbmanojLF/ATC_LF.der.hs: $(LF_files) $(GENRULES)
e636eba7474e0010b5c7198af1c2fe5ad8652dbbmanoj    $(GENRULECALL)  -i ATC.AS_Annotation -o $@ $(LF_files)
281da4c02cf40c663298ded7e4e5b913a8f8b814gstein
281da4c02cf40c663298ded7e4e5b913a8f8b814gsteinFramework/ATC_Framework.der.hs: $(Framework_files) $(GENRULES)
2f728b2e8555fee1b7cc11e886488692f2575fbddougm    $(GENRULECALL)  -i ATC.AS_Annotation -o $@ $(Framework_files)
2f728b2e8555fee1b7cc11e886488692f2575fbddougm
2f728b2e8555fee1b7cc11e886488692f2575fbddougmMaude/ATC_Maude.der.hs: $(Maude_files) $(GENRULES)
60d567a0c2aae815ee6fc20c0d65032bea52c92cwrowe    $(GENRULECALL)  -i ATC.AS_Annotation -o $@ $(Maude_files)
48c0c81cd6fabac9d3386406d97633780365b839coar
60d567a0c2aae815ee6fc20c0d65032bea52c92cwroweExtModal/ATC_ExtModal.der.hs: $(ExtModal_files) $(GENRULES)
60d567a0c2aae815ee6fc20c0d65032bea52c92cwrowe    $(GENRULECALL)  -i CASL.ATC_CASL -o $@ $(ExtModal_files)
60d567a0c2aae815ee6fc20c0d65032bea52c92cwrowe
60d567a0c2aae815ee6fc20c0d65032bea52c92cwroweCSL/ATC_CSL.der.hs: $(CSL_files) $(GENRULES)
60d567a0c2aae815ee6fc20c0d65032bea52c92cwrowe    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(CSL_files)
60d567a0c2aae815ee6fc20c0d65032bea52c92cwrowe
27757f6699a924d4b493a1b6cceb27df27a43287dreidCommonLogic/ATC_CommonLogic.der.hs: $(CommonLogic_files) $(GENRULES)
27757f6699a924d4b493a1b6cceb27df27a43287dreid    $(GENRULECALL)  -i ATC.AS_Annotation -o $@ $(CommonLogic_files)
27757f6699a924d4b493a1b6cceb27df27a43287dreid
21e01f13f717faeca3e498d7d9c9b4d3af98ae27trawickAdl/ATC_Adl.der.hs: $(Adl_files) $(GENRULES)
21e01f13f717faeca3e498d7d9c9b4d3af98ae27trawick    $(GENRULECALL)  -i ATC.AS_Annotation -o $@ $(Adl_files)
21e01f13f717faeca3e498d7d9c9b4d3af98ae27trawick
21e01f13f717faeca3e498d7d9c9b4d3af98ae27trawickFpl/ATC_Fpl.der.hs: $(Fpl_files) $(GENRULES)
21e01f13f717faeca3e498d7d9c9b4d3af98ae27trawick    $(GENRULECALL)  -i CASL.ATC_CASL -o $@ $(Fpl_files)
21e01f13f717faeca3e498d7d9c9b4d3af98ae27trawick
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard# all ATC .der.hs files for all logics
28c4fe67d75f8f26504d75b7aa8dc5d868032888wroweatc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowegenerated_rule_files = $(atc_der_files) $(atc_logic_files)
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe# a rule to create all .der.hs files
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowegenRules: $(generated_rule_files)
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe# the final ATC target files created by DriFT
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowegendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe# files to be processed by utils/InlineAxioms
28c4fe67d75f8f26504d75b7aa8dc5d868032888wroweinline_axiom_files = Comorphisms/Modal2CASL.hs CASL_DL/PredefinedSign.hs
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowegen_inline_axiom_files = $(patsubst %.hs,%.inline.hs, $(inline_axiom_files))
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe# all sources that need to be created before ghc can be called
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowederived_sources += $(drifted_files) Driver/Version.hs $(happy_files) \
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe    $(inline_axiom_files) Modal/ModalSystems.hs $(hs_der_files)
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe####################################################################
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe### targets
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe.PHONY : all hets-opt hets-optimized clean o_clean clean_pretty \
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe    real_clean bin_clean package_clean distclean packages \
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe    programatica_pkg aterm_pkg maintainer-clean annos \
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe    check capa hacapa h2h h2hf showKP clean_genRules genRules \
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe    count doc fromKif derivedSources release cgi ghci build
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe$(SETUP): utils/Setup.hs
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe    $(HC) --make -O -o $@ $<
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowepackages: programatica_pkg
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe
28c4fe67d75f8f26504d75b7aa8dc5d868032888wroweprogramatica_pkg:
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowehets-opt:
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe    $(MAKE) distclean
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe    $(MAKE) derivedSources
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe    $(MAKE) clean
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe    $(MAKE) hets-optimized
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowehets-optimized: $(derived_sources)
28c4fe67d75f8f26504d75b7aa8dc5d868032888wrowe    $(HC) --make -O -o hets hets.hs $(HC_OPTS)
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard
f881b8be216de36c6b964324c772450bca38a4e6trawickcgi:
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard    $(MAKE) distclean
6f1e2a1eb9944358dc96ee52f2048377c57f1cfaaaron    $(MAKE) derivedSources
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard    $(MAKE) clean
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard    $(MAKE) hets.cgi
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddardhets.cgi: GUI/hets_cgi.hs
f881b8be216de36c6b964324c772450bca38a4e6trawick    ghc --make GUI/hets_cgi.hs -o $@ $(HC_OPTS) -O
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard# Documentation via haddock
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddarddoc: docs/index.html
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddardHADDOCK_OPTS = $(addprefix --optghc=, $(HC_OPTS))
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddarddocs/index.html:
c408915e2a85fedc520e97e96abda8f61aafc804stoddard    $(RM) -r docs
c408915e2a85fedc520e97e96abda8f61aafc804stoddard    mkdir docs
c408915e2a85fedc520e97e96abda8f61aafc804stoddard    $(HADDOCK) --ignore-all-exports -o docs -h -s ../%F \
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard            -t 'Hets - the Heterogeneous Tool Set' \
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard            -p Hets-Haddock-Prologue.txt $(HADDOCK_OPTS) \
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard             Syntax/ADoc.hs $(filter-out Scratch.hs, $(wildcard *.hs)) \
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard             Static/ChangeGraph.hs
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddardderivedSources: $(derived_sources)
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard$(DRIFT): $(DRIFT_deps)
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard    (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT)
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard$(GENRULES): $(DRIFT) $(GENERATERULES_deps)
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard    (cd utils/GenerateRules; \
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard            $(HC) --make -i../DrIFT-src -i../.. $(HC_WARN) \
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard                GenerateRules.hs -o ../genRules)
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard# "-package hssource" for ghc-5.04.2
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard$(INLINEAXIOMS): $(INLINEAXIOMS_deps)
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard    $(HC) $(PARSEC_FLAG) --make utils/InlineAxioms/InlineAxioms.hs \
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard          $(HC_WARN) $(HC_PROF) -i../.. -o $(INLINEAXIOMS)
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddardutils/appendHaskellPreludeString: utils/appendHaskellPreludeString.hs
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard    $(HC) --make -o $@ $<
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard
951342b69609b2b45303f89f91275676d5325217bnicholes# release management
951342b69609b2b45303f89f91275676d5325217bnicholesREV = trunk
951342b69609b2b45303f89f91275676d5325217bnicholesrelease:
951342b69609b2b45303f89f91275676d5325217bnicholes    $(RM) -r Hets
951342b69609b2b45303f89f91275676d5325217bnicholes    svn co https://svn-agbkb.informatik.uni-bremen.de/Hets/$(REV) Hets
951342b69609b2b45303f89f91275676d5325217bnicholes    (cd Hets; $(MAKE) derivedSources; $(MAKE) clean; \
951342b69609b2b45303f89f91275676d5325217bnicholes            cp Makefile Makefile.orig; \
ddd44b06b04507cae083c52451e28f54f0bdb5afstoddard            cp ReleaseMakefile Makefile; \
64ad864fa0f4493eebb181e393b40a8a90beccb9coar            ./clean.sh; \
64ad864fa0f4493eebb181e393b40a8a90beccb9coar            find . -name .svn -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
64ad864fa0f4493eebb181e393b40a8a90beccb9coar            $(RM) clean.*; utils/replaceAllHeaders.sh)
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(TAR) cvf Hets.tar Hets
64ad864fa0f4493eebb181e393b40a8a90beccb9coar
7787343a549c7309035b3b7836e00edb6e3a915ewrowe# Common/LaTeX_maps.hs generation
48c0c81cd6fabac9d3386406d97633780365b839coarutils/genItCorrections: $(GENITCORRECTIONS_deps)
64ad864fa0f4493eebb181e393b40a8a90beccb9coar    $(HC) --make -o $@ $<
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
7787343a549c7309035b3b7836e00edb6e3a915ewrowepretty/LaTeX_maps.hs: utils/words.pl utils/genItCorrections \
48c0c81cd6fabac9d3386406d97633780365b839coar    pretty/words.input pretty/fonts.input pretty/width-table.tex.templ
64ad864fa0f4493eebb181e393b40a8a90beccb9coar    @echo -n "Generating pretty/LaTeX_maps.hs ... "
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    @(cd pretty >/dev/null; $(PERL) ../utils/words.pl > words.pl.log)
48c0c81cd6fabac9d3386406d97633780365b839coar    @(cd pretty >/dev/null; ../utils/genItCorrections \
64ad864fa0f4493eebb181e393b40a8a90beccb9coar            gen_it_characters gen_it_words >> LaTeX_maps.hs)
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    @echo "ready"
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    @echo "please copy the file manually to Common"
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
48c0c81cd6fabac9d3386406d97633780365b839coar### clean up
64ad864fa0f4493eebb181e393b40a8a90beccb9coarclean_genRules:
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(RM) $(generated_rule_files) $(gendrifted_files) \
48c0c81cd6fabac9d3386406d97633780365b839coar            $(hs_clean_files)
64ad864fa0f4493eebb181e393b40a8a90beccb9coar
7787343a549c7309035b3b7836e00edb6e3a915ewroweclean: bin_clean o_clean clean_pretty
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
7787343a549c7309035b3b7836e00edb6e3a915ewrowe### removes all *.o, *.hi and *.p_o files in all subdirectories
48c0c81cd6fabac9d3386406d97633780365b839coaro_clean:
64ad864fa0f4493eebb181e393b40a8a90beccb9coar    find . -name \*.o -o -name \*.hi -o -name \*.p_o \
7787343a549c7309035b3b7836e00edb6e3a915ewrowe        -o -name \*.exe -o -name \*.exe.manifest | xargs $(RM)
48c0c81cd6fabac9d3386406d97633780365b839coar
64ad864fa0f4493eebb181e393b40a8a90beccb9coar### remove binaries
7787343a549c7309035b3b7836e00edb6e3a915ewrowebin_clean:
48c0c81cd6fabac9d3386406d97633780365b839coar    $(RM) hets
64ad864fa0f4493eebb181e393b40a8a90beccb9coar    $(RM) hets.cgi
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(RM) $(SETUP)
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(RM) $(TESTTARGETS)
48c0c81cd6fabac9d3386406d97633780365b839coar
64ad864fa0f4493eebb181e393b40a8a90beccb9coarclean_pretty:
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(RM) pretty/*.c.* pretty/*.h.* pretty/gen_it_* \
48c0c81cd6fabac9d3386406d97633780365b839coar               pretty/generated_words.tex
64ad864fa0f4493eebb181e393b40a8a90beccb9coar    $(RM) test/*/*.{thy,pp.het,pp.tex,th,dfg.c,xml,log,dvi,aux,sty}
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(RM) test/*/log
48c0c81cd6fabac9d3386406d97633780365b839coar    $(RM) ToHaskell/test/*.{out,output}
64ad864fa0f4493eebb181e393b40a8a90beccb9coar    $(RM) */test/temp*
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(RM) doc/UserGuide.{log,aux,bbl,blg,out,pdf}
48c0c81cd6fabac9d3386406d97633780365b839coar
64ad864fa0f4493eebb181e393b40a8a90beccb9coar### additionally removes the library files
7787343a549c7309035b3b7836e00edb6e3a915ewrowereal_clean: clean
48c0c81cd6fabac9d3386406d97633780365b839coar
64ad864fa0f4493eebb181e393b40a8a90beccb9coar### clean user packages
7787343a549c7309035b3b7836e00edb6e3a915ewrowepackage_clean:
48c0c81cd6fabac9d3386406d97633780365b839coar    $(HCPKG) unregister programatica --user || exit 0
64ad864fa0f4493eebb181e393b40a8a90beccb9coar    $(HCPKG) unregister aterm --user || exit 0
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
48c0c81cd6fabac9d3386406d97633780365b839coar### additionally removes generated files not in the CVS tree
64ad864fa0f4493eebb181e393b40a8a90beccb9coardistclean: clean clean_genRules
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(RM) $(derived_sources)
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(RM) Modal/GeneratePatterns.inline.hs utils/appendHaskellPreludeString
48c0c81cd6fabac9d3386406d97633780365b839coar    $(RM) CASL_DL/PredefinedSign.inline.hs CASL_DL/PredDatatypes.het
64ad864fa0f4493eebb181e393b40a8a90beccb9coar    $(RM) utils/DrIFT utils/genRules $(INLINEAXIOMS)
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(RM) utils/genItCorrections pretty/LaTeX_maps.hs pretty/words.pl.log
48c0c81cd6fabac9d3386406d97633780365b839coar    $(RM) -r docs
64ad864fa0f4493eebb181e393b40a8a90beccb9coar
7787343a549c7309035b3b7836e00edb6e3a915ewrowemaintainer-clean: distclean package_clean
48c0c81cd6fabac9d3386406d97633780365b839coar    $(RM) -r $(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
64ad864fa0f4493eebb181e393b40a8a90beccb9coar
7787343a549c7309035b3b7836e00edb6e3a915ewrowe### interactive
48c0c81cd6fabac9d3386406d97633780365b839coarghci: $(derived_sources)
64ad864fa0f4493eebb181e393b40a8a90beccb9coar    ghci $(HC_OPTS)
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
7787343a549c7309035b3b7836e00edb6e3a915ewrowe### build only, don't link
48c0c81cd6fabac9d3386406d97633780365b839coarbuild: hets.hs packages
64ad864fa0f4493eebb181e393b40a8a90beccb9coar    $(HC) --make -c $< $(HC_OPTS)
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
7787343a549c7309035b3b7836e00edb6e3a915ewrowe### Kif parser
48c0c81cd6fabac9d3386406d97633780365b839coarfromKif: CASL/fromKif
64ad864fa0f4493eebb181e393b40a8a90beccb9coar
7787343a549c7309035b3b7836e00edb6e3a915ewrowe### Annos parser
7787343a549c7309035b3b7836e00edb6e3a915ewroweannos: Common/annos
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
48c0c81cd6fabac9d3386406d97633780365b839coar### CASL parser
64ad864fa0f4493eebb181e393b40a8a90beccb9coarcapa: CASL/capa
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
48c0c81cd6fabac9d3386406d97633780365b839coar### HasCASL parser
64ad864fa0f4493eebb181e393b40a8a90beccb9coarhacapa: HasCASL/hacapa
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
48c0c81cd6fabac9d3386406d97633780365b839coar### Haskell analysis
64ad864fa0f4493eebb181e393b40a8a90beccb9coarhana: Haskell/hana
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
7787343a549c7309035b3b7836e00edb6e3a915ewrowe### Haskell to Isabelle-HOLCF translation
7787343a549c7309035b3b7836e00edb6e3a915ewroweh2hf: Haskell/h2hf
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
48c0c81cd6fabac9d3386406d97633780365b839coarHaskell/h2hf: Haskell/h2hf.hs Haskell/*.hs Isabelle/*.hs Common/*.hs \
64ad864fa0f4493eebb181e393b40a8a90beccb9coar    Common/Lib/*.hs Comorphisms/*.hs
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(HC) -O --make -o $@ $< $(HC_OPTS)
48c0c81cd6fabac9d3386406d97633780365b839coar
64ad864fa0f4493eebb181e393b40a8a90beccb9coar### HasCASL to Haskell translation
7787343a549c7309035b3b7836e00edb6e3a915ewroweh2h: Haskell/h2h
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
48c0c81cd6fabac9d3386406d97633780365b839coar### test program to check the known provers
64ad864fa0f4493eebb181e393b40a8a90beccb9coarshowKP: Comorphisms/test/showKP
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
7787343a549c7309035b3b7836e00edb6e3a915ewrowe### run tests in other directories
7787343a549c7309035b3b7836e00edb6e3a915ewrowecheck: $(TESTTARGETS)
48c0c81cd6fabac9d3386406d97633780365b839coar    for i in $(TESTDIRS); do $(MAKE) -C $$i check; done
64ad864fa0f4493eebb181e393b40a8a90beccb9coar
7787343a549c7309035b3b7836e00edb6e3a915ewrowe## Preparing the version of Hets
7787343a549c7309035b3b7836e00edb6e3a915ewroweDriver/Version.hs: Driver/Version.in version_nr
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(RM) $@
48c0c81cd6fabac9d3386406d97633780365b839coar    LANG=C $(PERL) utils/build_version.pl version_nr \
64ad864fa0f4493eebb181e393b40a8a90beccb9coar            < Driver/Version.in > $@
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    chmod 444 $@
48c0c81cd6fabac9d3386406d97633780365b839coar
64ad864fa0f4493eebb181e393b40a8a90beccb9coar## two hardcoded dependencies for a correct generation of Version.hs
7787343a549c7309035b3b7836e00edb6e3a915ewroweDriver/Options.hs Driver/WriteFn.hs Driver/ReadFn.hs: Driver/Version.hs
48c0c81cd6fabac9d3386406d97633780365b839coarhets.hs: Driver/Version.hs
64ad864fa0f4493eebb181e393b40a8a90beccb9coar
7787343a549c7309035b3b7836e00edb6e3a915ewroweATC/DevGraph.hs: Static/DevGraph.hs
48c0c81cd6fabac9d3386406d97633780365b839coar
64ad864fa0f4493eebb181e393b40a8a90beccb9coar## two dependencies to avoid circular prerequisites
7787343a549c7309035b3b7836e00edb6e3a915ewroweCASL_DEPENDENT_BINARIES = hets CASL/capa CASL/fromKif \
48c0c81cd6fabac9d3386406d97633780365b839coar   Common/annos Common/test_parser Comorphisms/test/showKP \
64ad864fa0f4493eebb181e393b40a8a90beccb9coar   CspCASL/print_csp HasCASL/hacapa Haskell/h2h Haskell/h2hf \
7787343a549c7309035b3b7836e00edb6e3a915ewrowe   Haskell/hana Haskell/wrap Isabelle/isa Syntax/hetpa
48c0c81cd6fabac9d3386406d97633780365b839coar
64ad864fa0f4493eebb181e393b40a8a90beccb9coar$(CASL_DEPENDENT_BINARIES): $(derived_sources)
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
48c0c81cd6fabac9d3386406d97633780365b839coar## suffix rules
64ad864fa0f4493eebb181e393b40a8a90beccb9coar.SUFFIXES:
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
48c0c81cd6fabac9d3386406d97633780365b839coar## rule for GHC
64ad864fa0f4493eebb181e393b40a8a90beccb9coar%: %.hs packages
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(HC) --make -o $@ $< $(HC_OPTS)
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
48c0c81cd6fabac9d3386406d97633780365b839coar## rule for HAPPY
64ad864fa0f4493eebb181e393b40a8a90beccb9coar%.hs: %.y
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(HAPPY) -o $@.tmp $<
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    echo "{-# OPTIONS -w #-}" > $@
48c0c81cd6fabac9d3386406d97633780365b839coar    cat $@.tmp >> $@
64ad864fa0f4493eebb181e393b40a8a90beccb9coar    $(RM) $@.tmp
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
48c0c81cd6fabac9d3386406d97633780365b839coar## rule for DrIFT
64ad864fa0f4493eebb181e393b40a8a90beccb9coar%.hs: %.der.hs $(DRIFT)
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(RM) $@
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    ($(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $< > $@)
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    chmod 444 $@
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
48c0c81cd6fabac9d3386406d97633780365b839coar## rule for inlineAxioms
64ad864fa0f4493eebb181e393b40a8a90beccb9coar%.hs: %.inline.hs $(INLINEAXIOMS)
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(RM) $@
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(INLINEAXIOMS) $< > $@
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    chmod 444 $@
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
48c0c81cd6fabac9d3386406d97633780365b839coar## rule for cpp and haddock
64ad864fa0f4493eebb181e393b40a8a90beccb9coar%.hspp: %.hs
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(HC) -E -cpp -D__HADDOCK__ \
64ad864fa0f4493eebb181e393b40a8a90beccb9coar            -DUNI_PACKAGE -DCASLEXTENSIONS -DPROGRAMATICA -optP -P $<
48c0c81cd6fabac9d3386406d97633780365b839coar
64ad864fa0f4493eebb181e393b40a8a90beccb9coar## compiling rules for object and interface files
7787343a549c7309035b3b7836e00edb6e3a915ewrowe%.o %.hi: %.hs
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(HC) -c $< $(HC_OPTS)
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
48c0c81cd6fabac9d3386406d97633780365b839coar%.o %.hi: %.lhs
64ad864fa0f4493eebb181e393b40a8a90beccb9coar    $(HC) -c $< $(HC_OPTS)
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
7787343a549c7309035b3b7836e00edb6e3a915ewrowe## compiling rules for dependencies
7787343a549c7309035b3b7836e00edb6e3a915ewrowe%.d : %.hs
48c0c81cd6fabac9d3386406d97633780365b839coar    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
64ad864fa0f4493eebb181e393b40a8a90beccb9coar
7787343a549c7309035b3b7836e00edb6e3a915ewrowe%.d : %.lhs
48c0c81cd6fabac9d3386406d97633780365b839coar    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
64ad864fa0f4493eebb181e393b40a8a90beccb9coar
7787343a549c7309035b3b7836e00edb6e3a915ewrowe## Rule to generate hs files from glade files. Needed for GTK
7787343a549c7309035b3b7836e00edb6e3a915ewrowe%.hs: %.glade utils/appendHaskellPreludeString \
48c0c81cd6fabac9d3386406d97633780365b839coar  GUI/Glade/Template.append.hs
64ad864fa0f4493eebb181e393b40a8a90beccb9coar    b=`basename $< .glade`; \
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    cat GUI/Glade/Template.append.hs | sed "s/\%s/$$b/" | \
48c0c81cd6fabac9d3386406d97633780365b839coar    utils/appendHaskellPreludeString $< > $@
64ad864fa0f4493eebb181e393b40a8a90beccb9coar
7787343a549c7309035b3b7836e00edb6e3a915ewrowe## generate the inline file for the predefined CASL_DL sign
48c0c81cd6fabac9d3386406d97633780365b839coarCASL_DL/PredefinedSign.inline.hs:  \
64ad864fa0f4493eebb181e393b40a8a90beccb9coar     CASL_DL/PredefinedSign.inline.hs.in utils/appendHaskellPreludeString \
7787343a549c7309035b3b7836e00edb6e3a915ewrowe     CASL_DL/PredDatatypes.het
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(RM) $@
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    utils/appendHaskellPreludeString CASL_DL/PredDatatypes.het \
48c0c81cd6fabac9d3386406d97633780365b839coar          < CASL_DL/PredefinedSign.inline.hs.in > $@
64ad864fa0f4493eebb181e393b40a8a90beccb9coar    echo "  )" >> $@
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    chmod 444 $@
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
7787343a549c7309035b3b7836e00edb6e3a915ewrowe# Warning: Don't change the order of the depencies!!
48c0c81cd6fabac9d3386406d97633780365b839coarCASL_DL/PredDatatypes.het: utils/transformLibAsBasicSpec.pl \
64ad864fa0f4493eebb181e393b40a8a90beccb9coar     CASL_DL/Datatypes.het
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(RM) $@
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(PERL) $+ > $@
48c0c81cd6fabac9d3386406d97633780365b839coar    chmod 444 $@
64ad864fa0f4493eebb181e393b40a8a90beccb9coar
7787343a549c7309035b3b7836e00edb6e3a915ewrowe## rule for Modal/ModalSystems.hs needed for ModalLogic Translation
48c0c81cd6fabac9d3386406d97633780365b839coar# uses intransparently utils/outlineAxioms
64ad864fa0f4493eebb181e393b40a8a90beccb9coarModal/ModalSystems.hs: Modal/GeneratePatterns.inline.hs.in \
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    utils/genTransMFormFunc.pl $(INLINEAXIOMS)
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    $(RM) $@
48c0c81cd6fabac9d3386406d97633780365b839coar    $(PERL) utils/genTransMFormFunc.pl $< $@
64ad864fa0f4493eebb181e393b40a8a90beccb9coar    chmod 444 $@
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
7787343a549c7309035b3b7836e00edb6e3a915ewrowe# directory for installers
7787343a549c7309035b3b7836e00edb6e3a915ewroweINSTALLER_DIR = ../installers
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
48c0c81cd6fabac9d3386406d97633780365b839coarifeq ($(strip $(HETS_VERSION)),)
64ad864fa0f4493eebb181e393b40a8a90beccb9coarHETS_VERSION := `cat version_nr`
7787343a549c7309035b3b7836e00edb6e3a915ewrowe# or `date +%F`
7787343a549c7309035b3b7836e00edb6e3a915ewroweendif
7787343a549c7309035b3b7836e00edb6e3a915ewrowe
48c0c81cd6fabac9d3386406d97633780365b839coar# prepare installer creation
64ad864fa0f4493eebb181e393b40a8a90beccb9coarinitialize_installer:
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    mkdir -p $(INSTALLER_DIR)
48c0c81cd6fabac9d3386406d97633780365b839coar    sed "s/^\(HETS_VERSION =\).*/\1$(HETS_VERSION)/" Makefile.installer \
64ad864fa0f4493eebb181e393b40a8a90beccb9coar          > $(INSTALLER_DIR)/Makefile
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    @echo Please do
48c0c81cd6fabac9d3386406d97633780365b839coar    @echo "  -> cd $(INSTALLER_DIR)"
64ad864fa0f4493eebb181e393b40a8a90beccb9coar    @echo "  -> make"
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    @echo and wait until it is finished
48c0c81cd6fabac9d3386406d97633780365b839coar
64ad864fa0f4493eebb181e393b40a8a90beccb9coar# check out java parts for OWL
7787343a549c7309035b3b7836e00edb6e3a915ewroweowl_java:
48c0c81cd6fabac9d3386406d97633780365b839coar    svn co \
64ad864fa0f4493eebb181e393b40a8a90beccb9coar  https://owlapi.svn.sourceforge.net/svnroot/owlapi/owl1_1/trunk \
7787343a549c7309035b3b7836e00edb6e3a915ewrowe  OWL/java/OwlApi
48c0c81cd6fabac9d3386406d97633780365b839coar
64ad864fa0f4493eebb181e393b40a8a90beccb9coarinitialize_java: owl_java
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    ant -q init
48c0c81cd6fabac9d3386406d97633780365b839coar
64ad864fa0f4493eebb181e393b40a8a90beccb9coarjava-libs:
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    ant -q java-libs
48c0c81cd6fabac9d3386406d97633780365b839coar
64ad864fa0f4493eebb181e393b40a8a90beccb9coarjava-files:
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    ant -q java-files
48c0c81cd6fabac9d3386406d97633780365b839coar
64ad864fa0f4493eebb181e393b40a8a90beccb9coarjava-clean:
7787343a549c7309035b3b7836e00edb6e3a915ewrowe    ant -q java-clean
48c0c81cd6fabac9d3386406d97633780365b839coar