Cross Reference: /hets/Makefile

	Makefile revision b886e9e5db2098d0112cc4f70aeba232962939dd
436aad11e01e916f75e68a2e9cb89ac217a990d3Tinderbox User# Makefile
6fe48fb46e53ffc37542853a1edb74cb481b7d94Automatic Updater# $Header$
18920d790825d96ca3943aa2dcb6eb80dc611c5fTinderbox User# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2005
18920d790825d96ca3943aa2dcb6eb80dc611c5fTinderbox User# Year:   2004
e9e4257668ff6c4e583b0c0db2508650b0b677b8Tinderbox User
e9e4257668ff6c4e583b0c0db2508650b0b677b8Tinderbox User# This Makefile will compile the new hets system and provides also
c57668a2fbbe558c1bd21652813616f2f517c469Tinderbox User# targets for test programs during implementation phases.
a7c412f37cc73d0332887a746e81220cbf09dd00Mark Andrews
1f4c645185bd8fc70048e0a69eee46193a284e5cTinderbox User# !!! Note: This makefile is written for GNU make !!!
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews#           (gmake on solaris)
bed0874e1a09e810575328c4bfc346a47514b69fMark Andrews
950d203b64f512b85fcc093ee1e9e3e531a1aea3Tinderbox Userall: hets
b886b04d8d2b085cbf3e1bf4442dee87f43ba5e4Tinderbox User
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews####################################################################
e676a596869d8a80a644c99a848afb53d1c5975eMark Andrews## Some varibles, which control the compilation
e676a596869d8a80a644c99a848afb53d1c5975eMark Andrews
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsINCLUDE_PATH =
a7c412f37cc73d0332887a746e81220cbf09dd00Mark AndrewsHAIFA_PATHS = Network Network/Server Org Org/W3 Org/W3/N2001 \
a7c412f37cc73d0332887a746e81220cbf09dd00Mark Andrews    Org/Xmlsoap Org/Xmlsoap/Schemas Org/Xmlsoap/Schemas/Soap \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    Text Text/XML Text/XML/HXT Text/XML/Schema Text/XML/Schema/TypeMapper \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    Text/XML/Serializer
e676a596869d8a80a644c99a848afb53d1c5975eMark Andrews
e676a596869d8a80a644c99a848afb53d1c5975eMark AndrewsSOURCE_PATHS = . utils/itcor \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    utils utils/DrIFT-src utils/GenerateRules utils/InlineAxioms Common \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    Common/Lib Common/ATerm Logic CASL CASL/CCC CASL/CompositionTable \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    Syntax Static GUI HasCASL Haskell Modal CoCASL COL ConstraintCASL \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    CspCASL ATC Proofs Comorphisms Isabelle Driver \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    Taxonomy CASL_DL SPASS OWL_DL OMDoc PGIP Propositional
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews# the 'replacing spaces' example was taken from the (GNU) Make info manual
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Userempty =
efb0e886f18894a1d2489f1ad74ad14b579e11c7Mark Andrewsspace = $(empty) $(empty)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User## set ghc imports properly for your system
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsGHC_IMPORTS = `$(HC) --print-libdir`/imports
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User# import directories for ghc-5.04.2
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsGHC5 = $(GHC_IMPORTS)/base:$(GHC_IMPORTS)/haskell98
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserDRIFT_ENV = \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    DERIVEPATH=.:$(GHC_IMPORTS):$(GHC5):$(subst $(space),:,$(PFE_PATHS))
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews# override on commandline for other architectures
b886b04d8d2b085cbf3e1bf4442dee87f43ba5e4Tinderbox UserINSTALLDIR = \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    /home/www/agbkb/forschung/formal_methods/CoFI/hets/`utils/sysname.sh`
aa9c561961e9d877946ebaa8795fa2be054ab7bfEvan Hunt
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox UserDRIFT_deps = utils/DrIFT-src/*hs
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox UserGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps)
aa9c561961e9d877946ebaa8795fa2be054ab7bfEvan HuntGENITCORRECTIONS_deps = utils/itcor/GenItCorrections.hs
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterINLINEAXIOMS_deps = utils/InlineAxioms/InlineAxioms.hs \
24934f08b9ff81c2be711e566e8002d145573031Tinderbox User    Common/Doc.hs CASL/ToDoc.hs Modal/AS_Modal.hs \
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic Updater    Modal/Parse_AS.hs Modal/ModalSign.hs Modal/Print_AS.hs Modal/StatAna.hs
aa9c561961e9d877946ebaa8795fa2be054ab7bfEvan Hunt
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox UserHC = ghc
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox UserHCPKG = ghc-pkg
aa9c561961e9d877946ebaa8795fa2be054ab7bfEvan HuntPERL = perl
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox UserHAPPY = happy -sga
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterGENRULES = utils/genRules
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterGENRULECALL = $(GENRULES) -r Typeable -r ShATermConvertible \
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic Updater    -i Data.Typeable -i Common.ATerm.Lib
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsDRIFT = utils/DrIFT
cdfc81e048bd34c1d628380247bda6b80a89e20eAutomatic UpdaterINLINEAXIOMS = utils/outlineAxioms
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsHADDOCK = haddock
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsOSBYUNAME = $(shell uname)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsifneq ($(findstring SunOS, $(OSBYUNAME)),)
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterTAR = gtar
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewselse
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsTAR = tar
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsendif
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic UpdaterARCH = $(subst $(space),,$(shell uname -m))
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsSETUP = utils/Setup
eabc9c3c07cd956d3c436bd7614cb162dabdda76Mark AndrewsSETUPPREFIX = --prefix=$(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsSETUPPACKAGE = ../$(SETUP) clean; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    ../$(SETUP) configure -p $(SETUPPREFIX); \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    ../$(SETUP) build; ../$(SETUP) haddock; ../$(SETUP) install --user
950d203b64f512b85fcc093ee1e9e3e531a1aea3Tinderbox User
950d203b64f512b85fcc093ee1e9e3e531a1aea3Tinderbox UserHAXMLVERSION = $(shell $(HCPKG) field HaXml version)
950d203b64f512b85fcc093ee1e9e3e531a1aea3Tinderbox Userifneq ($(findstring 1.13.2, $(HAXMLVERSION)),)
950d203b64f512b85fcc093ee1e9e3e531a1aea3Tinderbox UserHAXML_PACKAGE = -package HaXml -DHAXML_PACKAGE
950d203b64f512b85fcc093ee1e9e3e531a1aea3Tinderbox Userendif
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox User
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox User# remove -fno-warn-orphans for older ghcs and add -ifgl
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox UserHC_WARN = -Wall -fno-warn-orphans
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox UserHC_FLAGS = $(HAXML_PACKAGE) \
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox User    $(HC_WARN) -fglasgow-exts -fallow-overlapping-instances
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox User
b886b04d8d2b085cbf3e1bf4442dee87f43ba5e4Tinderbox UserHC_OPTS_MAC := $(if $(findstring Darwin,$(shell uname -s)), \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    -optl-F$(HOME)/Library/Frameworks -optl-framework -optlGNUreadline,)
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews
950d203b64f512b85fcc093ee1e9e3e531a1aea3Tinderbox User# -ddump-minimal-imports
27739dd25026283c24645c8a1044b95ef9eb5ac6Tinderbox User# flags also come in via  ../uni/uni-package.conf
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews# but added it here in case of compilation without uni
18920d790825d96ca3943aa2dcb6eb80dc611c5fTinderbox User
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsHC_INCLUDE = $(addprefix -i, $(INCLUDE_PATH))
7a6494cfb6cc7d3f67af07359561e05e6bb8c0edTinderbox User
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox Userlogics = CASL HasCASL Isabelle Modal CoCASL COL CspCASL CASL_DL SPASS \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    OWL_DL ConstraintCASL Propositional
18920d790825d96ca3943aa2dcb6eb80dc611c5fTinderbox User
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsTESTTARGETFILES += CASL/fromKif.hs CASL/capa.hs HasCASL/hacapa.hs \
7a6494cfb6cc7d3f67af07359561e05e6bb8c0edTinderbox User    Haskell/wrap.hs Isabelle/isa.hs Syntax/hetpa.hs \
77932ac533c711eca5cd86de4e7eca8d91102b43Tinderbox User    ATC/ATCTest.hs ATC/ATCTest2.hs Common/ATerm/ATermLibTest.hs \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    Common/ATerm/ATermDiffMain.hs Common/annos.hs Common/test_parser.hs \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    SPASS/tests/PrintTPTPTests.hs Comorphisms/test/showKP.hs \
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafsson    SPASS/tests/soapTest.hs
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsUNI_PACKAGE_CONF = $(wildcard ../uni/uni-package.conf)
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Userifneq ($(strip $(UNI_PACKAGE_CONF)),)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsHC_PACKAGE = -package-conf $(UNI_PACKAGE_CONF) -package uni-davinci \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    -package uni-server -DUNI_PACKAGE
efb0e886f18894a1d2489f1ad74ad14b579e11c7Mark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews# some modules from uni for haddock
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User# if uni/server is included also HaXml sources are needed
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsuni_dirs = ../uni/davinci ../uni/graphs ../uni/events \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    ../uni/reactor ../uni/util ../uni/posixutil
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafsson
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Useruni_sources = $(wildcard $(addsuffix /haddock/*.hs, $(uni_dirs))) \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(wildcard ../uni/htk/haddock/*/*.hs)
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserTESTTARGETFILES += OWL_DL/ToHaskellAS.hs Taxonomy/taxonomyTool.hs \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    SPASS/tests/CMDL_tests.hs
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Userendif
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafsson
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User### list of directories to run checks in
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsTESTDIRS += Common CASL HasCASL test
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewshs_clean_files = Haskell/TiATC.hs Haskell/TiDecorateATC.hs \
28a5dd720187fddb16055a0f64b63a7b66f29f64Mark Andrews    Haskell/TiPropATC.hs Haskell/ATC_Haskell.der.hs
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark AndrewsPFE_TOOLDIR = $(wildcard ../programatica/tools)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewsifneq ($(strip $(PFE_TOOLDIR)),)
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox UserPFE_DIRS = base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews    base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
28a5dd720187fddb16055a0f64b63a7b66f29f64Mark Andrews    base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox User    base/transforms base/transforms/Deriving property \
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox User    property/syntax property/AST property/transforms \
28a5dd720187fddb16055a0f64b63a7b66f29f64Mark Andrews    property/TI property/defs property/parse2 property/parse2/Parser
2a31bd531072824ef252c18303859d6af7451b00Francis Dupont
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsPFE_PATHS = $(addprefix $(PFE_TOOLDIR)/, $(PFE_DIRS))
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewspfe_sources = $(wildcard $(addsuffix /*hs, $(PFE_PATHS)))
2a31bd531072824ef252c18303859d6af7451b00Francis DupontPFE_PATH = $(addprefix -i, $(PFE_PATHS))
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsPFE_FLAGS = -package programatica -DPROGRAMATICA
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewshappy_files += $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsLEX_DIR = $(PFE_TOOLDIR)/base/parse2/Lexer
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewsprogramatica_pkg: $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hs \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews            $(LEX_DIR)/HsLex.hs $(SETUP)
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews    @if $(HCPKG) field programatica version; then \
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews          echo "of programatica package found"; else \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews          (patch -usNlp0 -d $(PFE_TOOLDIR) \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews            -i `pwd`/Haskell/Programatica.patch || exit 0); \
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews          cp -f utils/programatica.cabal ../programatica/tools; \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews          cp -f $(SETUP) ../programatica/tools; \
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User          (cd ../programatica/tools; \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews           ./Setup configure $(SETUPPREFIX); \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews           ./Setup build; ./Setup install --user) fi
e20788e1216ed720aefa84f3295f7899d9f28c22Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews$(LEX_DIR)/HsLex.hs: $(LEX_DIR)Gen/HsLexerGen
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    echo "{-# OPTIONS -w #-}" > $@
01a5c5503482fb3ba52088bf0178a7213273bf96Mark Andrews    $< >> $@
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox User$(LEX_DIR)Gen/HsLexerGen: $(LEX_DIR)Gen/*.hs $(LEX_DIR)Spec/*.hs \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    $(LEX_DIR)/HsTokens.hs
cdfc81e048bd34c1d628380247bda6b80a89e20eAutomatic Updater    $(HC) --make -fno-monomorphism-restriction -O \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews           -i$(PFE_TOOLDIR)/base/tests/HbcLibraries \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User           -i$(PFE_TOOLDIR)/base/lib \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews       -i$(LEX_DIR) -i$(LEX_DIR)Gen -i$(LEX_DIR)Spec \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User              $@.hs -o $@
fe80a4909bf62b602feaf246866e9d29f7654194Automatic Updater    strip $@
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewslogics += Haskell
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Userderived_sources += Haskell/PreludeString.hs $(LEX_DIR)/HsLex.hs \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(LEX_DIR)Gen/HsLexerGen
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
fa0326cc2cf428f67575b6ba3b97b528a31b0010Tinderbox Userutils/appendHaskellPreludeString: utils/appendHaskellPreludeString.hs
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    $(HC) --make -o $@ $<
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserAPPENDPRELUDESTRING = utils/appendHaskellPreludeString \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    Haskell/ProgramaticaPrelude.hs
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
fe80a4909bf62b602feaf246866e9d29f7654194Automatic Updater## rule for appendHaskellPreludeString
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(APPENDPRELUDESTRING)
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    $(RM) $@
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(APPENDPRELUDESTRING) < $< > $@
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    chmod 444 $@
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafsson
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    HsModule HsName HsLiteral HsIdent
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User#files in base/TI/
dd65eb1efb40b1c47d57963192bfc54873b219beAutomatic Updater#Ti_Haskell_files = TiTypes TiKinds TiDecorate TiInstanceDB
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews#Ti_Prop_files = property/TI/TiPropDecorate property/syntax/PropSyntaxRec
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsOther_PFE_files = property/AST/HsPropStruct base/defs/PNT \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \
133e6d43fa82e80d3798be4de00f4540f485ec6cAutomatic Updater    base/parse2/SourceNames base/syntax/SyntaxRec \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    property/syntax/PropSyntaxStruct
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserHaskell_files = $(addsuffix .hs, \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    $(addprefix $(PFE_TOOLDIR)/, $(Other_PFE_files)))
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafsson
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User## rule for ATC generation
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsHaskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    $(GENRULECALL) -i Haskell.BaseATC -o $@ $(Haskell_files)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Userhs_der_files += $(hs_clean_files)
5f7586ddbd3edd11272cdd30ed613d936129328bTinderbox User
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox UserTESTDIRS += ToHaskell Haskell/test
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsTESTTARGETFILES += Haskell/hana.hs Haskell/h2h.hs Haskell/h2hf.hs
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Userendif
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
b886b04d8d2b085cbf3e1bf4442dee87f43ba5e4Tinderbox UserTESTTARGETS = Test.o $(subst .hs,,$(TESTTARGETFILES))
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
a7c412f37cc73d0332887a746e81220cbf09dd00Mark Andrews### Profiling (only for debugging)
a7c412f37cc73d0332887a746e81220cbf09dd00Mark Andrews### Attention every module must be compiled with profiling or the linker
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User### cannot link the various .o files properly. So after switching on
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox User### Profiling, do an 'gmake real_clean; gmake'
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User### Comment in the following line for switching on profiling.
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox User#HC_PROF = -prof -auto-all -fignore-asserts
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User
a7c412f37cc73d0332887a746e81220cbf09dd00Mark AndrewsHC_OPTS = $(HC_FLAGS) $(HC_INCLUDE) $(HC_PACKAGE) $(PFE_FLAGS) $(HC_PROF) \
7ca715ad1587a68a531ea1cdea07515d7232567eTinderbox User   -DCASLEXTENSIONS $(HC_OPTS_MAC)
269519eeb959d905ed125f96426e01d725c3b597Tinderbox User
8711e5c73ca872d59810760af0332194cbdd619bAutomatic Updater####################################################################
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater## sources for hets
e676a596869d8a80a644c99a848afb53d1c5975eMark Andrews
91d187ce035f39073f0732ff2a401a45c3c955fbMark Andrewsnon_sources = Common/LaTeX_maps.svmono.hs Common/CaslLanguage.hs ./Test.hs \
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox User    $(SETUP).hs
8e5fce1f9ceba17dd7e3ff0eb287e1e999c14249Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewssources = hets.hs $(filter-out $(non_sources), \
91d187ce035f39073f0732ff2a401a45c3c955fbMark Andrews    $(wildcard $(addsuffix /[A-Z]*hs, $(SOURCE_PATHS))))
91d187ce035f39073f0732ff2a401a45c3c955fbMark Andrews
bc0a53583d92309bebcf93c408e2f3247ebd3d3cAutomatic Updaterobjects = $(sources:%.hs=%.o)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updaterdrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
59528addd704f8d5757b54e540520f74e588a7c7Automatic Updater    Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs \
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    ATC/DevGraph.hs \
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    Modal/AS_Modal.hs CoCASL/AS_CoCASL.hs COL/AS_COL.hs CASL_DL/AS_CASL_DL.hs\
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    ConstraintCASL/AS_ConstraintCASL.hs\
59528addd704f8d5757b54e540520f74e588a7c7Automatic Updater    Propositional/AS_BASIC_Propositional.hs\
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(gendrifted_files)
d7d105151a78d35afb4233d2a6dbd47b7ec0d9a5Tinderbox User
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox Useratc_files = Common/AS_Annotation.der.hs Common/DefaultMorphism.hs \
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
19b3dc94bce93fa76bd7e066f9298630dbc9dcb4Automatic Updater    Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    Logic/Prover.hs #Common/Id.hs Common/Result.hs OWL_DL/AS.hs
9513a2a6670951f5cf5477fcfec9f933fcaff628Automatic Updater
7f94d9a8162c9a96b56e66176702b66e79d8e1a2Automatic Updateratc_der_files = $(foreach file, $(atc_files), \
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    ATC/$(basename $(basename $(notdir $(file)))).der.hs)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
5ecad47f69b3fd945472ab2900a9ff826a7ce2f6Automatic UpdaterATC/Id.der.hs: Common/Id.hs $(GENRULES)
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox User    $(GENRULECALL) -o $@ $<
91d187ce035f39073f0732ff2a401a45c3c955fbMark Andrews
6a9d2121152c94cb9e35832126c3f2e4d18d81edTinderbox UserATC/Result.der.hs: Common/Result.hs $(GENRULES)
6a9d2121152c94cb9e35832126c3f2e4d18d81edTinderbox User    $(GENRULECALL) -o $@ $<
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User
96ea71632887c58a9d00f47eb318bf76b35903c3Mark AndrewsATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(GENRULECALL) -o $@ $<
9cd5eb6fe0f26d65724b99216cb31dcdd12e4afdAutomatic Updater
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox UserATC/DefaultMorphism.der.hs: Common/DefaultMorphism.hs $(GENRULES)
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User    $(GENRULECALL) -o $@ $<
4cda4fd158d6ded5586bacea8c388445d99611eaAutomatic Updater
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
91d187ce035f39073f0732ff2a401a45c3c955fbMark Andrews    $(GENRULECALL) -i ATC.AS_Annotation -i ATC.Grothendieck -o $@ $<
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox User
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(GENRULECALL) -i ATC.AS_Structured -o $@ $<
4fe0411487e8e4401477684c0a2bac041ca7c2d5Tinderbox User
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    $(GENRULECALL) -i ATC.AS_Architecture -o $@ $<
bf5e2127e92e52cbf661e77dd6a76e5aef43542fTinderbox User
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark AndrewsATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $<
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic UpdaterATC/Prover.der.hs: Logic/Prover.hs $(GENRULES)
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User    $(GENRULECALL) -x Logic.Prover.ProverTemplate \
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User            -i ATC.AS_Annotation -o $@ $<
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
a7c412f37cc73d0332887a746e81220cbf09dd00Mark AndrewsCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    CASL/AS_Basic_CASL.der.hs
da59e63e7af147a8bcef985b98b04443e04c3a0eTinderbox User
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox UserHasCASL_files = Common/Prec.hs HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs
757ff043760e4743dda1a10e7d58349275934902Tinderbox User
cf7e98f59148b559946a7f1ca728471374f1eef3Automatic UpdaterIsabelle_files = Isabelle/IsaSign.hs
6025cbbe8408f4b09d53d5ec1e95cb6da97e0a8dTinderbox User
e676a596869d8a80a644c99a848afb53d1c5975eMark AndrewsPropositional_files = Propositional/Sign.hs Propositional/Morphism.hs \
757ff043760e4743dda1a10e7d58349275934902Tinderbox User            Propositional/AS_BASIC_Propositional.hs Propositional/Symbol.hs\
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater            Propositional/Sublogic.hs
cf7e98f59148b559946a7f1ca728471374f1eef3Automatic UpdaterModal_files = Modal/AS_Modal.hs Modal/ModalSign.hs
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsConstraintCASL_files = ConstraintCASL/AS_ConstraintCASL.hs
91216cff91b34c9ff6e846dc23f248219cafe660Andreas GustafssonCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsCOL_files = COL/AS_COL.hs COL/COLSign.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsCspCASL_files = CspCASL/AS_CspCASL.hs CspCASL/AS_CspCASL_Process.hs \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews             CspCASL/SignCSP.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
757ff043760e4743dda1a10e7d58349275934902Tinderbox UserCASL_DL_files = CASL_DL/AS_CASL_DL.hs CASL_DL/Sign.hs
757ff043760e4743dda1a10e7d58349275934902Tinderbox User
4fe0411487e8e4401477684c0a2bac041ca7c2d5Tinderbox UserSPASS_files = SPASS/Sign.hs
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User
b886b04d8d2b085cbf3e1bf4442dee87f43ba5e4Tinderbox UserOWL_DL_files = OWL_DL/Sign.hs
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
3857cb6fcabeb79d85de4b3e3e4ab99912b701f8Mark Andrewsatc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox Usergenerated_rule_files = $(atc_der_files) $(atc_logic_files)
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Usergendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafsson
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox Userinline_axiom_files = Comorphisms/CASL2PCFOL.hs \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    Comorphisms/Modal2CASL.hs Comorphisms/CASL2TopSort.hs \
9ecb5d33470ebfb3719a1b8d56bcefdf4b27f7b2Tinderbox User    Comorphisms/CASL2SubCFOL.hs CASL_DL/PredefinedSign.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewsgen_inline_axiom_files = $(patsubst %.hs,%.inline.hs, $(inline_axiom_files))
8292deab031e7599cd7622aa7675fbe139ca6095Mark Andrews
e31cfd80616deb9781902306b34a69aa7309b6cbTinderbox Userderived_sources += $(drifted_files) Driver/Version.hs $(happy_files) \
7ac34650fa344f42211d6da744ae486b0145a083Tinderbox User    $(inline_axiom_files) Modal/ModalSystems.hs $(hs_der_files) \
7ac34650fa344f42211d6da744ae486b0145a083Tinderbox User    OWL_DL/ReadWrite.hs ConstraintCASL/AS_ConstraintCASL.hs
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews# sources that have {-# OPTIONS -cpp #-}
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewscpp_sources = \
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews    Isabelle/CreateTheories.hs \
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews    SPASS/Logic_SPASS.hs GUI/Utils.hs Driver/WriteFn.hs \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    Propositional/Logic_Propositional.hs \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    Comorphisms/LogicList.hs Comorphisms/LogicGraph.hs \
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews    Comorphisms/KnownProvers.hs hets.hs $(happy_files) \
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews    PGIP/Common.hs PGIP/Commands.hs \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    OMDoc/HetsInterface.hs
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox User
78f3ed4bc2fcd3d270bfd599804f3b27a1db4d91Mark Andrews# unused, remove when header files are gone
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewsgenrule_header_files = $(wildcard ATC/*.header.hs)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewsnondoc_sources = $(wildcard utils/DrIFT-src/*.hs) \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(wildcard utils/DrIFT-src/*.lhs) \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(wildcard utils/GenerateRules/*.hs) \
e8fc8c884b44371784805e1e0d3100da403dd3f1Automatic Updater    $(wildcard utils/InlineAxioms/*.hs) \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(cpp_sources) $(pfe_sources) $(gen_inline_axiom_files) \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(genrule_header_files) $(generated_rule_files) \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(PFE_TOOLDIR)/property/parse2/Parser/PropParser.hspp \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    Modal/GeneratePatterns.inline.hs \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    Haskell/PreludeString.append.hs Haskell/ProgramaticaPrelude.hs \
e8fc8c884b44371784805e1e0d3100da403dd3f1Automatic Updater    SPASS/MathServCommunication.hs \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(patsubst %.hs, %.der.hs, $(drifted_files))
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewshspp_sources = $(patsubst %.hs, %.hspp, $(cpp_sources))
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews# this variable holds the modules that should be documented
e8fc8c884b44371784805e1e0d3100da403dd3f1Automatic Updaterdoc_sources = $(filter-out $(nondoc_sources), $(sources) $(hspp_sources))
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewstax_sources = Taxonomy/AbstractGraphView.hs Taxonomy/MMiSSOntology.hs \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    Taxonomy/MMiSSOntologyGraph.hs Taxonomy/OntoParser.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewstax_objects = $(patsubst %.hs, %.o, $(tax_sources))
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews####################################################################
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews### targets
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews.PHONY : all hets-opt hets-optimized clean o_clean clean_pretty \
b30ec46fec40a1b246f7965fbcd341fc6cfd1cc1Mark Andrews    real_clean bin_clean package_clean distclean packages \
82a986aaa5d3384a541b5a7d6dae8cf0726d6513Tinderbox User    http_pkg syb_pkg shellac_pkg shread_pkg hxt_pkg haifa_pkg \
c5a97a549c89d562e999d4f906b882c5a2a474e1Tinderbox User    check capa hacapa h2h h2hf showKP clean_genRules genRules \
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox User    count doc apache_doc post_doc4apache fromKif \
01a5c5503482fb3ba52088bf0178a7213273bf96Mark Andrews    programatica_pkg maintainer-clean annos \
95c3a5e116c1da135f669c3f15398172fac6279dMark Andrews    derivedSources install_hets install release cgi ghci
d7d105151a78d35afb4233d2a6dbd47b7ec0d9a5Tinderbox User
d585233c52e283d9a8849f16f04f452419a2484eTinderbox User.SECONDARY : %.hs %.d $(generated_rule_files) $(gen_inline_axiom_files)
d7d105151a78d35afb4233d2a6dbd47b7ec0d9a5Tinderbox User
d585233c52e283d9a8849f16f04f452419a2484eTinderbox User$(SETUP): utils/Setup.hs
b886b04d8d2b085cbf3e1bf4442dee87f43ba5e4Tinderbox User    $(HC) --make -O -o $@ $<
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
59528addd704f8d5757b54e540520f74e588a7c7Automatic Updaterpackages: http_pkg syb_pkg shellac_pkg shread_pkg hxt_pkg haifa_pkg \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews  programatica_pkg
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User
757ff043760e4743dda1a10e7d58349275934902Tinderbox Userhttp_pkg: utils/http.tgz $(SETUP)
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews    @if $(HCPKG) field HTTP version; then \
0e573cdd111e060e5f6c18249b5ccacbe8abe278Tinderbox User          echo "of HTTP package found"; else \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews          $(RM) -r http; \
37d8e0a4455876fe1e4cca511076cc2c5ab9eedeTinderbox User          $(TAR) zxf utils/http.tgz; \
c651f15b30f1dae5cc2f00878fb5da5b3a35a468Mark Andrews          (cd http; $(SETUPPACKAGE)) fi
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
7f79131f9a8e804b93c57f3c679065cce878b726Automatic Updatersyb_pkg: $(SETUP)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    @if $(HCPKG) field syb-generics version; then \
91216cff91b34c9ff6e846dc23f248219cafe660Andreas Gustafsson          echo "of syb-generics package found"; else \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          (cd syb-generics; $(SETUPPACKAGE)) fi
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsshellac_pkg: utils/shellac.tgz $(SETUP)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    @if $(HCPKG) field Shellac version; then \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          echo "of shellac package found"; else \
efb0e886f18894a1d2489f1ad74ad14b579e11c7Mark Andrews          $(RM) -r shellac; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          $(TAR) zxf utils/shellac.tgz; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          (cd shellac; $(SETUPPACKAGE)) fi
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
3a988722ad9e209ba4064604d482dc4efe0e19ebTinderbox Usershread_pkg: utils/shread.tgz $(SETUP) shellac_pkg
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @if $(HCPKG) field Shellac-readline version; then \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          echo "of shellac-readline package found"; else \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews          $(RM) -rf shread; \
91d187ce035f39073f0732ff2a401a45c3c955fbMark Andrews          $(TAR) zxf utils/shread.tgz; \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews          (cd shread; $(SETUPPACKAGE)) fi
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewshxt_pkg: $(SETUP) http_pkg
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    @if $(HCPKG) field hxt version; then \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          echo "of hxt package found"; else \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          $(RM) -rf hxt; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          $(TAR) zxf utils/hxt.tgz; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews          (cd hxt; $(SETUPPACKAGE)) fi
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox Userhaifa_pkg: $(SETUP) hxt_pkg syb_pkg
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    @if $(HCPKG) field HAIFA version; then \
a5636b773fa05a272b6876afd99309c0b3090e2fMark Andrews          echo "of HAIFA package found"; else \
a5636b773fa05a272b6876afd99309c0b3090e2fMark Andrews          (cd haifa-lite; $(SETUPPACKAGE)) fi
a5636b773fa05a272b6876afd99309c0b3090e2fMark Andrews
a5636b773fa05a272b6876afd99309c0b3090e2fMark Andrewsprogramatica_pkg:
a5636b773fa05a272b6876afd99309c0b3090e2fMark Andrews
f7369b2881b5e63d69600adcedc8ba938303d30cTinderbox Userhets-opt:
f7369b2881b5e63d69600adcedc8ba938303d30cTinderbox User    $(MAKE) distclean
d6317350b1180aa4517f2e8a92fa8fbcbf904ad8Automatic Updater    $(MAKE) derivedSources
bc0a4c01beede169df81a3ee5b614ed9e82339dbAutomatic Updater    $(MAKE) clean
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(MAKE) hets-optimized
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonhets-optimized: $(derived_sources)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(HC) --make -O -o hets hets.hs $(HC_OPTS)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    strip hets
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonhets-old: $(objects)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(RM) $@
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(HC) -o hets $(HC_OPTS) $(objects)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtoncgi:
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(MAKE) distclean
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(MAKE) derivedSources
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(MAKE) real_clean
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(MAKE) hets.cgi
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonhets.cgi: $(sources) GUI/hets_cgi.hs
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    ghc --make GUI/hets_cgi.hs -o $@ $(HC_OPTS) -O
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    strip hets.cgi
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonhets_maintainers.txt: $(sources)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @echo 'File : Maintainer' > $@
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @echo -n Generating $@ " "
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @$(PERL) -e  \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington               'foreach my $$f (@ARGV) { open I, "<$$f"; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington                print "$$f :"; while (<I>) \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington                { if(m,^\s*Maintainer\s*:\s*(.*)$$,o) { \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington                print " $$1" ; last} }; print "\n"; close I; }' \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington            $(sources) >> $@
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @echo " done"
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington###############################
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### count lines of code
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtoncount: $(sources)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    wc -l $(sources)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington###############################
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### Documentation via haddock
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtondoc: docs/index.html
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington# generate haddock documentation with links to sources
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington# the interface treatment is stolen from uni/mk/suffix.mk
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtondocs/index.html: $(doc_sources)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(RM) -r docs
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    mkdir docs
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    cp -r ../uni/www docs/www || mkdir docs/www
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    HINTERFACES0=`find docs/www -name '*.haddock' \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington           -printf "--read-interface=www/%P,%p "` ; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington        HINTERFACES=`echo $$HINTERFACES0 | \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington           $(PERL) -pe 's+/[^/]*.haddock,+,+g'` ; \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington        $(HADDOCK) -o docs -h -v -s ../%F $$HINTERFACES \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington            -t 'Hets - the Heterogeneous Tool Set' \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews            -p Hets-Haddock-Prologue.txt $(doc_sources)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews# sources are not copied here
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsapache_doc:
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(RM) -r docs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    cvs up -d ; echo "CVS exited with: " $$?
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(MAKE) hets-opt
22d32791e5daa0bc80335a0f10ab2de95f41ccdbTinderbox User    $(MAKE) doc
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater    $(MAKE) post_doc4apache
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater    $(MAKE) o_clean
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater    $(MAKE) hets.cgi
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updaterpost_doc4apache:
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater    $(RM) -r a-docs
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User    cp -r docs a-docs
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater    $(PERL) utils/post_process_docs.pl a-docs \
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater            'Common.Lib.Map.html:Common.Lib._Map.html'
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater    $(PERL) utils/post_process_docs.pl a-docs \
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater            'Data.Map.html:Data._Map.html'
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater###############################
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater### release management
ae7e54b14c946e0984c191554db9abb4893f9349Automatic Updater
b30ec46fec40a1b246f7965fbcd341fc6cfd1cc1Mark AndrewsderivedSources: $(derived_sources) $(hspp_sources)
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox Userutils/DrIFT: $(DRIFT_deps)
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT && \
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User            strip ../DrIFT)
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox Userutils/genRules: $(GENERATERULES_deps)
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    (cd utils/GenerateRules; \
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User            $(HC) --make -i../DrIFT-src -i../.. $(HC_WARN) \
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User                GenerateRules.hs -o ../genRules && strip ../genRules)
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews# "-package hssource" for ghc-5.04.2
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User$(INLINEAXIOMS): $(INLINEAXIOMS_deps)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(HC) --make utils/InlineAxioms/InlineAxioms.hs $(HC_WARN) $(HC_PROF) \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews            -i../.. -o $(INLINEAXIOMS)
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User    strip $(INLINEAXIOMS)
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox User# set this variable from the command line to i,e. RELEASETAG='-rrelease-0-7'
c11c7b47726c02eb05e29ff7be56a3343146e396Tinderbox UserRELEASETAG =
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsrelease:
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(RM) -r HetCATS
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository\
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews            co -P $(RELEASETAG) HetCATS
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(RM) -r uni
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    if [ -d ../uni ] ; then ln -s ../uni uni ; fi
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(RM) -r programatica
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    if [ -d ../programatica ] ; then \
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater            mkdir programatica; \
febbdb34a7f7759922e239655e7429d78d3a8d26Tinderbox User            ln -s ../../programatica/tools programatica/tools ; fi
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    (cd HetCATS; $(MAKE) derivedSources; $(MAKE) clean; \
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater            cp Makefile Makefile.orig; \
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User            cp ReleaseMakefile Makefile; \
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews            ./clean.sh; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews            find . -name CVS -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews            $(RM) clean.*)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(TAR) cvf HetCATS.tar HetCATS
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsinstall-hets:
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    chmod g+w hets
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    cp -p hets $(INSTALLDIR)/versions/hets-`cat version_nr`
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User    cp -p version_nr $(INSTALLDIR)
c01dec514a81ecf8c17ca3ef8c3ba95e437295ebAutomatic Updater    (cd $(INSTALLDIR); $(RM) hets; \
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater        ln -s versions/hets-`cat version_nr` hets; $(RM) version_nr)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updaterinstall: hets-opt install-hets
e8c42d50cdaf3a3b841074d8bf72b40ffbae2a4bTinderbox User
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updaterpack/install-%.jar: pack/install-%.xml pack/UserInputSpec-%.xml hets.in hets
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater       ## TODO: add more dependencies and use hets-opt
e20309353e6246485c521278131d3fced73d7957Tinderbox User    compile $< -b . -k standard -o $@
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews#   compile $< -b . -k web -o $@
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington###################################
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### Common/LaTeX_maps.hs generation
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonutils/genItCorrections: $(GENITCORRECTIONS_deps)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(HC) --make -o $@ $<
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    strip $@
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonpretty/LaTeX_maps.hs: utils/words.pl utils/genItCorrections \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    pretty/words.input pretty/fonts.input pretty/width-table.tex.templ
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @echo -n "Generating pretty/LaTeX_maps.hs ... "
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @(cd pretty >/dev/null; $(PERL) ../utils/words.pl > words.pl.log)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @(cd pretty >/dev/null; ../utils/genItCorrections \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington            gen_it_characters gen_it_words >> LaTeX_maps.hs)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @echo "ready"
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    @echo "please copy the file manually to Common"
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington#############################
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews### ATC DrIFT-rule generation
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtongenRules: $(generated_rule_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsCASL/ATC_CASL.der.hs: $(CASL_files) $(GENRULES)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(CASL_files)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsPropositional/ATC_Propositional.der.hs: $(Propositional_files) \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews       $(GENRULES)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews       $(Propositional_files)
9cd5eb6fe0f26d65724b99216cb31dcdd12e4afdAutomatic Updater
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark AndrewsHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(HasCASL_files)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Isabelle_files)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsModal/ATC_Modal.der.hs: $(Modal_files) $(GENRULES)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Modal_files)
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
9cd5eb6fe0f26d65724b99216cb31dcdd12e4afdAutomatic UpdaterConstraintCASL/ATC_ConstraintCASL.der.hs: $(ConstraintCASL_files) $(GENRULES)
79cea03ba823e2d3a34895f0ba91d7fb5ad799e7Automatic Updater    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ConstraintCASL_files)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonCoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonCOL/ATC_COL.der.hs: $(COL_files) $(GENRULES)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(COL_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)
b7aab05edae933e169d5f83c653935b17c7f0a8bMark Andrews
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian WellingtonSPASS/ATC_SPASS.der.hs: $(SPASS_files) $(GENRULES)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SPASS_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
409ba95e573b40cf36acf97dd62ee7e9c7775851Tinderbox UserOWL_DL/ATC_OWL_DL.der.hs: $(OWL_DL_files) $(GENRULES)
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews    $(GENRULECALL) -i ATC.AS_Annotation -i OWL_DL.ReadWrite \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington          -o $@ $(OWL_DL_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrewsclean_genRules:
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(RM) $(generated_rule_files) $(gendrifted_files) $(hspp_sources) \
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington            $(hs_clean_files)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User###############
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews### clean up
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsclean: bin_clean o_clean clean_pretty
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews### removes *.hi and *.o in all include directories
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewso_clean:
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    find . -name \*.o -o -name \*.hi | xargs $(RM) -r
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### remove binaries
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonbin_clean:
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(RM) hets
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(RM) hets.cgi
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(RM) $(TESTTARGETS)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonclean_pretty:
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    $(RM) pretty/*.c.* pretty/*.h.* pretty/gen_it_* \
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater               pretty/generated_words.tex
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater### additionally removes the library files
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updaterreal_clean: clean
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater### clean user packages
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updaterpackage_clean:
56effd2e3f579fd77b1fb37d47871d1bf1286bc4Automatic Updater    $(HCPKG) unregister HAIFA --user || exit 0
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(HCPKG) unregister programatica --user || exit 0
0e91f17da8a29086876a88962e0a3482094b6057Evan Hunt    $(HCPKG) unregister hxt --user || exit 0
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(HCPKG) unregister Shellac-readline --user || exit 0
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(HCPKG) unregister HTTP --user || exit 0
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(HCPKG) unregister syb-generics --user || exit 0
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(HCPKG) unregister Shellac --user || exit 0
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews### additionally removes generated files not in the CVS tree
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewsdistclean: clean clean_genRules
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(RM) $(derived_sources)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(RM) Modal/GeneratePatterns.inline.hs utils/appendHaskellPreludeString
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(RM) utils/DrIFT utils/genRules $(INLINEAXIOMS)
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(RM) utils/genItCorrections pretty/LaTeX_maps.hs pretty/words.pl.log
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrewsmaintainer-clean: distclean package_clean
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews    $(RM) $(SETUP)
42bee07ebb8152a6ec2f87f4790d87368c24704cAutomatic Updater    $(RM) -r $(HOME)/.ghc/$(ARCH)-$(OSBYUNAME)-hets-packages
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater####################################################################
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews### test targets
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington####################################################################
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### interactive
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrewsghci: $(derived_sources)
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington    $(HC)i $(HC_OPTS)
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews### christian's target
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews### CASL parser
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark AndrewsfromKif: CASL/fromKif
7adcb4de92bf4383a4c5624c4ed256736d02bc6dMark Andrews
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### Annos parser
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonannos: Common/annos
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### CASL parser
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtoncapa: CASL/capa
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### HasCASL parser
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonhacapa: HasCASL/hacapa
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington### Haskell analysis
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonhana: Haskell/hana
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellington
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews### Haskell to Isabelle-HOLCF translation
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewsh2hf: Haskell/h2hf
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsHaskell/h2hf: Haskell/h2hf.hs Haskell/*.hs Isabelle/*.hs Common/*.hs \
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    Common/Lib/*.hs Comorphisms/*.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(HC) -O --make -o $@ $< $(HC_FLAGS) $(PFE_FLAGS)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
89623368b8f662d458d9964b923050f33c5f75b0Tinderbox User### HasCASL to Haskell translation
9e3a7b0faf417a10f5f689edf288807b2d5eedc5Brian Wellingtonh2h: Haskell/h2h
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User
dc238a06bffa79de141ee7655765e2df91498a8aTinderbox User### test program to check the known provers
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox UsershowKP: Comorphisms/test/showKP
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews
757ff043760e4743dda1a10e7d58349275934902Tinderbox User### run tests in other directories
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewscheck: $(TESTTARGETS)
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    for i in $(TESTDIRS); do $(MAKE) -C $$i check; done
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews####################################################################
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews## Preparing the version of HetCATS
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsDriver/Version.hs: Driver/Version.in version_nr
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews    $(RM) $@
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater    LANG=C $(PERL) utils/build_version.pl version_nr \
22d32791e5daa0bc80335a0f10ab2de95f41ccdbTinderbox User            < Driver/Version.in > $@
da59e63e7af147a8bcef985b98b04443e04c3a0eTinderbox User    chmod 444 $@
22d32791e5daa0bc80335a0f10ab2de95f41ccdbTinderbox User
dedefc0bdbb4e6e39eeb98aa2fc6883efec2ddb0Mark Andrews## two hardcoded dependencies for a correct generation of Version.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsDriver/Options.hs Driver/WriteFn.hs Driver/ReadFn.hs: Driver/Version.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrewshets.hs: Driver/Version.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsATC/DevGraph.hs: Static/DevGraph.hs
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews
0eb371ca0dab50ae3462e98794a6126198c52f4bMark Andrews## two dependencies for avoidence of circular prerequisites
0eb371ca0dab50ae3462e98794a6126198c52f4bMark AndrewsCASL_DEPENDENT_BINARIES= hets CASL/capa CASL/fromKif \
1fdd58445074579ee3b65c871137a7a1740eb542Mark Andrews   Common/annos Common/test_parser Comorphisms/test/showKP \
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User   CspCASL/print_csp HasCASL/hacapa Haskell/h2h Haskell/h2hf \
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User   Haskell/hana Haskell/wrap Isabelle/isa Syntax/hetpa
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User$(CASL_DEPENDENT_BINARIES): $(sources) $(derived_sources)
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User# CASL_DL/Logic.hs: CASL_DL/PredefinedSign.hs
cc5a9ce75af9870f2cb9e2bf00548c2f7e6398d6Automatic Updater####################################################################
ce9cad6bb04869c5e94d9dc721032b25117f9210Automatic Updater## rules for DrIFT
ec8755f605d7dcb2de1076040e77bc2d7ec33b4aTinderbox User.SUFFIXES:
3040b455151b1e1173193933664b2891b6159f24Mark Andrews
609b8d08176469485edce25f3c2f50365bbd3819Mark Andrews%: %.hs packages
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User    $(HC) --make -o $@ $< $(HC_OPTS)
532d27b39244fadfcf8d8b4593f4c65434c9c664Automatic Updater
532d27b39244fadfcf8d8b4593f4c65434c9c664Automatic Updater%.hs: %.y
532d27b39244fadfcf8d8b4593f4c65434c9c664Automatic Updater    $(HAPPY) -o $@.tmp $<
532d27b39244fadfcf8d8b4593f4c65434c9c664Automatic Updater    echo "{-# OPTIONS -w #-}" > $@
91faa748a27dee38f6caea461d3e87f15b93abeaTinderbox User    cat $@.tmp >> $@
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User    $(RM) $@.tmp
91faa748a27dee38f6caea461d3e87f15b93abeaTinderbox User
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews%.hs: %.der.hs $(DRIFT)
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews    $(RM) $@
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews    ($(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $< > $@)
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews    chmod 444 $@
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews## rules for inlineAxioms
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews%.hs: %.inline.hs $(INLINEAXIOMS)
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews    $(RM) $@
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews    $(INLINEAXIOMS) $< > $@
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews    chmod 444 $@
10702d681eb650391bcaa0e2704aa3cf2dbf0e98Mark Andrews
93089a352d6903b0d7845a039de4ec2df9a0e35aTinderbox User## rule for cpp and haddock
93089a352d6903b0d7845a039de4ec2df9a0e35aTinderbox User%.hspp: %.hs
93089a352d6903b0d7845a039de4ec2df9a0e35aTinderbox User    $(HC) -E -cpp -D__HADDOCK__ \
861836e5f5df62bfaea9ad8923a05278d5ab2f3dTinderbox User            -DUNI_PACKAGE -DCASLEXTENSIONS -DPROGRAMATICA -optP -P $<
e8c17c74535be290abaaa160a434ed80bf0ad2feMark Andrews
93089a352d6903b0d7845a039de4ec2df9a0e35aTinderbox User## compiling rules for object and interface files
665ba746c0585088d0c314dcfc4671aa2c7b2dc1Automatic Updater%.o %.hi: %.hs
9c446b72069d0ab9f710502f4d7048e50875fccbAutomatic Updater    $(HC) -c $< $(HC_OPTS)
665ba746c0585088d0c314dcfc4671aa2c7b2dc1Automatic Updater
665ba746c0585088d0c314dcfc4671aa2c7b2dc1Automatic Updater%.o %.hi: %.lhs
93089a352d6903b0d7845a039de4ec2df9a0e35aTinderbox User    $(HC) -c $< $(HC_OPTS)
93089a352d6903b0d7845a039de4ec2df9a0e35aTinderbox User
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User## compiling rules for dependencies
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater%.d : %.hs
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater%.d : %.lhs
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater## generate the inline file for the predefined CASL_DL sign
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater# Warning: Don't change the order of the depencies!!
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic UpdaterCASL_DL/PredefinedSign.inline.hs:  \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater     CASL_DL/PredefinedSign.inline.hs.in utils/appendHaskellPreludeString \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater     CASL_DL/PredDatatypes.het
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(RM) $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    utils/appendHaskellPreludeString CASL_DL/PredDatatypes.het \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater          < CASL_DL/PredefinedSign.inline.hs.in > $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    echo "  )" >> $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    chmod 444 $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic UpdaterCASL_DL/PredDatatypes.het: utils/transformLibAsBasicSpec.pl \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater     CASL_DL/Datatypes.het
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(RM) $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(PERL) $+ > $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    chmod 444 $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater## rule for Modal/ModalSystems.hs needed for ModalLogic Translation
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater# uses intransparently utils/outlineAxioms
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic UpdaterModal/ModalSystems.hs: Modal/GeneratePatterns.inline.hs.in \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    utils/genTransMFormFunc.pl $(INLINEAXIOMS)
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(RM) $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    $(PERL) utils/genTransMFormFunc.pl $< $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    chmod 444 $@
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updaterinitialize_installer:
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @if [ -d $(INSTALLER_DIR) ] ; then   \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater        echo "copy file to $(INSTALLER_DIR)" ; \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater      else \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater        echo "create $(INSTALLER_DIR)"  ;\
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater        mkdir -p $(INSTALLER_DIR) ; \
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater     fi
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @sed "s/^\(HETS_VERSION=\).*/\1`cat version_nr`/" Makefile.installer > Makefile.inst  ;\
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater     sed "s/^\(SPASS_DIR_MAC=\).*/\1`ls utils/SPASS-ppc-mac/ | grep SPASS`/"  Makefile.inst > Makefile.inst2 ;\
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater     rm Makefile.inst ;\
bbc0e1c4f47f101c4a64db3469352c49a49e734fTinderbox User     mv Makefile.inst2 $(INSTALLER_DIR)/Makefile
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @echo =========================================================================
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @echo If you have not logged in \'cvs.haskell.org\' and \'cvs-agbkb.informatik.uni-bremen.de\'
44e3b272904bfd85556771d30cf1bc6fa539dd03Automatic Updater    @echo "then please first login:"
710bce1a85c96e85ca1a90471382055acd29d51fTinderbox User    @echo  "   cvs -d :pserver:anoncvs@cvs.haskell.org:/cvs login"
bbc0e1c4f47f101c4a64db3469352c49a49e734fTinderbox User    @echo  "    the password is cvs"
fe84edc17e0d582cf7b4270f8df9d4742a107b1cAutomatic Updater    @echo  "   cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository login "
3040b455151b1e1173193933664b2891b6159f24Mark Andrews    @echo  "    the password is "
3040b455151b1e1173193933664b2891b6159f24Mark Andrews    @echo =========================================================================
e9e4257668ff6c4e583b0c0db2508650b0b677b8Tinderbox User    @echo Ready to create installers for Hets
ff8ec39ce4afc2d774ce99f2386474d2c8539cd4Automatic Updater    @echo Please do
bf8c3776f1bf1a1270e5e0443ae5a8df022632a8Mark Andrews    @echo "  -> cd $(INSTALLER_DIR)"
bf8c3776f1bf1a1270e5e0443ae5a8df022632a8Mark Andrews    @echo "  -> make"
bf8c3776f1bf1a1270e5e0443ae5a8df022632a8Mark Andrews    @echo and wait until it is finished
bf8c3776f1bf1a1270e5e0443ae5a8df022632a8Mark Andrews
ff8ec39ce4afc2d774ce99f2386474d2c8539cd4Automatic Updater
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic Updater
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic Updater
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic Updater
ff8ec39ce4afc2d774ce99f2386474d2c8539cd4Automatic Updater
31a540386a9abaf681d8952f1b2cdf5c75a0ba6cAutomatic Updater