rules revision 6694c438d217541c65c4b16364c23f2b68f3a966
c3184b4e2a1f238f4615d36fee79df82b1711344Mark Andrews# Authors: (c) Klaus Luettich, Christian Maeder, Uni Bremen 2002-2009
c3184b4e2a1f238f4615d36fee79df82b1711344Mark Andrews# Jens Elkner, Uni Magdeburg 2016
9b7c023fe6dc88ba1e69ace1f7c3ade40c6475f9Mark Andrews# This GNU Makefile will compile the hets system and provides also
9b7c023fe6dc88ba1e69ace1f7c3ade40c6475f9Mark Andrews# targets for test programs during implementation phases.
0a1fa37641b59c56d02f5390917a49e4987f0f75Mark AndrewsHETS_VERSION ?= $(shell printf `cat version_nr`)
49f7d1585e0e4f1ffa1667391dd7ae1c4d3d4e81Mark Andrews -fwarn-unrecognised-pragmas -fno-warn-orphans $(NO_BIND_WARNING)
49f7d1585e0e4f1ffa1667391dd7ae1c4d3d4e81Mark Andrews# uncomment HC_PROF for profiling (and comment out packages in var.mk)
49f7d1585e0e4f1ffa1667391dd7ae1c4d3d4e81Mark Andrews# call resulting binary with a final +RTS -p to get a file <binary>.prof
0b1af13f680a865521105a77ee192024b5af33c4Mark Andrews#HC_PROF := -prof -auto-all -osuf p_o +RTS -K100m -RTS
0b1af13f680a865521105a77ee192024b5af33c4Mark Andrews# -ddump-minimal-imports
0b1af13f680a865521105a77ee192024b5af33c4Mark Andrews# uncomment the above line to generate .imports files for displayDependencyGraph
5ed4b0d4452967d9b3aaf7a22a2956a6ee67a614Mark Andrews# *.bin variants here to let them survive a 'make clean'
c549b3a4d5fedba2ae960df667864e824acb1ef9Mark Andrews# Documentation (no haddock stuff, i.e. "docs/index.html", since developer can
3a7c831b697b4604bc90019f2ccc217338117a1cMark Andrews# generated it on demand by themselves and other users dont't need it). Other
a483e67c4cdcbfc29ddc62b5a2d0d99b1c542fadMark Andrews# papers (doc/*.pdf) are already pre-generated.
d73de275987d29627dc11d5bd4a22874a29f7874Mark Andrews# Create the build environment
8f9664521724eefc39728c092d0bc6be527e1496Mark Andrews $(STACK) build --only-dependencies $(STACK_DEPENDENCIES_FLAGS)
da091cda77fa951e682119c3df84f60a62bed702Mark AndrewsSED := $(shell [ "$(OSNAME)" = 'SunOS' ] && printf 'gsed' || printf 'sed')
da091cda77fa951e682119c3df84f60a62bed702Mark AndrewsTAR := $(shell [ "$(OSNAME)" = 'SunOS' ] && printf 'gtar' || printf 'tar')
da091cda77fa951e682119c3df84f60a62bed702Mark AndrewsINSTALL := $(shell [ "$(OSNAME)" = 'SunOS' ] && printf 'ginstall' || printf 'install')
3a7c831b697b4604bc90019f2ccc217338117a1cMark Andrews# indicate, whether working on an exported repo
c8aa2c83113229a59069cbd05c735896f51b886bMark AndrewsGIT_TIMESTAMP := $(shell [ -d .git ] && git log -1 --format=%ct )
c8aa2c83113229a59069cbd05c735896f51b886bMark AndrewsEXPORTED := $(shell [ -n "$(GIT_TIMESTAMP)" ] || printf 1)
a1edcd1b8d430650d85ec0962cd32efde76a71fbMark Andrews# the 'replacing spaces' example was taken from the (GNU) Make info manual
7c23b791f4ae8f0c4c2982a91d13c0ecb15ee798Mark AndrewsGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps)
8989de1059c6292fc43ce507df4991224af2d789Mark AndrewsGENITCORRECTIONS_deps = utils/itcor/GenItCorrections.hs
acc8b7ac3d16538bf223545bbf71899b9accaebbMark AndrewsGENRULECALL = $(GENRULES) -r ShATermConvertible \
5f4098e478ae913cdc1bb8851599b8f2431050d3Mark Andrews# list glade files
5f4098e478ae913cdc1bb8851599b8f2431050d3Mark AndrewsGTK_GLADE_HSFILES = $(subst .glade,.hs,$(GTK_GLADE_FILES))
26cf4737b3e84c3a686a5eacebf22ac39e57d4caMark Andrews# the list of logics that need ShATermConvertible instances
26cf4737b3e84c3a686a5eacebf22ac39e57d4caMark Andrewslogics = CASL HasCASL Isabelle Modal Hybrid TopHybrid Temporal \
34e5a08809dda3276252269ebddd1616e62081a2Mark Andrews SoftFOL ConstraintCASL Propositional RelationalScheme VSE OMDoc DFOL \
34e5a08809dda3276252269ebddd1616e62081a2Mark Andrews LF Framework Maude ExtModal CommonLogic CSL QBF Adl HolLight Fpl THF \
0cd36f1d15caf6622ec3128544d4238ad180a300Mark AndrewsTESTTARGETFILES += Scratch.hs CASL/fromKif.hs CASL/capa.hs HasCASL/hacapa.hs \
0cd36f1d15caf6622ec3128544d4238ad180a300Mark Andrews Haskell/wrap.hs Isabelle/isa.hs Syntax/hetpa.hs \
93649589d470624e9e1c34403ad076b3a1a4c5c3Mark Andrews ATC/ATCTest.hs ATC/ATCTest2.hs Common/ATerm/ATermLibTest.hs \
93649589d470624e9e1c34403ad076b3a1a4c5c3Mark Andrews Common/ATerm/ATermDiffMain.hs Common/annos.hs \
93649589d470624e9e1c34403ad076b3a1a4c5c3Mark Andrews SoftFOL/tests/PrintTPTPTests.hs Comorphisms/test/showKP.hs \
29f5bb81e2d1d72fc6e44c87404bd4598a34df94Mark Andrews Comorphisms/test/sublogicGraph.hs PGIP/ParseProofScript.hs \
ddc592d128cdde85ada64efbda95981c10c4c03cMark Andrews SoftFOL/dfg.hs Adl/adl.hs GUI/displayDependencyGraph.hs
ddc592d128cdde85ada64efbda95981c10c4c03cMark Andrews### list of directories to run checks in
88c2b83cc548a217cc92a2bf75ca1ef1d4237d4fMark AndrewsTESTDIRS += Common CASL Fpl/test HasCASL test ExtModal/Tries \
bd6ad47c3dbc52a54f240432878b6832bd6dd6e2Mark Andrewshs_clean_files = Haskell/TiATC.hs Haskell/TiDecorateATC.hs \
bd6ad47c3dbc52a54f240432878b6832bd6dd6e2Mark Andrews Haskell/TiPropATC.hs Haskell/ATC_Haskell.der.hs
9e205a3c51e68d19a7ed03244d45b14b3e0d69afMark AndrewsPFE_DIRS := base/AST base/TI base/parse2 base/parse2/Lexer base/parse2/Parser \
9e205a3c51e68d19a7ed03244d45b14b3e0d69afMark Andrews base/parse2/LexerGen base/parse2/LexerSpec base/tests/HbcLibraries \
e823642ec0c167af8f7db01c96ba0279165a61f3Mark Andrews base/pretty base/syntax base/lib base/lib/Monads base/Modules base/defs \
e823642ec0c167af8f7db01c96ba0279165a61f3Mark Andrews base/transforms base/transforms/Deriving property \
e823642ec0c167af8f7db01c96ba0279165a61f3Mark Andrews property/syntax property/AST property/transforms \
93e6ebcd0a0f044ba2add424c265b5e0bb4c8afdMark Andrews property/TI property/defs property/parse2 property/parse2/Parser
93e6ebcd0a0f044ba2add424c265b5e0bb4c8afdMark AndrewsPFE_PATHS := $(addprefix $(PFE_TOOLDIR)/, $(PFE_DIRS))
8ac1acc30d0f405222ffa7b2b93131d9d4e18599Mark AndrewsDRIFT_ENV := DERIVEPATH=$(subst $(space),:,$(PFE_PATHS))
c99d9017ba00099bfa89e1ed53e63a5cb07d28d5Mark AndrewsAPPENDPRELUDESTRING = utils/appendHaskellPreludeString \
c99d9017ba00099bfa89e1ed53e63a5cb07d28d5Mark Andrews## rule for appendHaskellPreludeString
c4a9ce445c48a57eed5aa16582b1964cf8cedf87Mark AndrewsHaskell/PreludeString.hs: Haskell/PreludeString.append.hs \
a04a323f9a1ebd4766fc577e11bf3c22bdaf5516Mark AndrewsAst_Haskell_files = HsDeclStruct HsExpStruct HsFieldsStruct \
dd0228908543562781a4c0d8773ae87d4c530633Mark Andrews HsGuardsStruct HsKindStruct HsPatStruct HsTypeStruct HsAssocStruct \
810e8d27763c5d8557239ab321eb125163af9236Mark Andrews#Ti_Haskell_files = TiTypes TiKinds TiDecorate TiInstanceDB
810e8d27763c5d8557239ab321eb125163af9236Mark Andrews#Ti_Prop_files = property/TI/TiPropDecorate property/syntax/PropSyntaxRec
15f358ed4ea081793041bbfba70849be472236d3Mark AndrewsOther_PFE_files := property/AST/HsPropStruct base/defs/PNT \
15f358ed4ea081793041bbfba70849be472236d3Mark Andrews base/defs/UniqueNames base/Modules/TypedIds base/Modules/Ents \
984c39beed2fee49dda75c4c8a37b7f32bf434bfMark Andrews base/parse2/SourceNames base/syntax/SyntaxRec \
c08a03a43116c21cf12dea7cbcb5465588f7955cMark Andrews $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
c311ed52d45334e182a093efad827fe4cbe7e686Mark Andrews $(addprefix $(PFE_TOOLDIR)/, $(Other_PFE_files)))
c311ed52d45334e182a093efad827fe4cbe7e686Mark Andrews## rule for ATC generation
79a6a33184abff1999ba13b10922ccb34a2758a5Mark AndrewsHaskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
79a6a33184abff1999ba13b10922ccb34a2758a5Mark Andrews $(GENRULECALL) -r Typeable -i Data.Typeable -i Haskell.BaseATC \
2b1c71b134eb92f2e297a56f778838e42f41c880Mark AndrewsTESTTARGETFILES += Haskell/hana.hs Haskell/h2h.hs Haskell/h2hf.hs
d6fbfd28ea82e425740de903ddc67f7d9e9f82e7Mark Andrews# end of programatica stuff (PFE_FLAGS)
091b098b49a4f84f459abd46451955a18abd6d40Mark Andrews# files generated by DriFT
7d3458a972a902740eb142044655aba6c6ffb9acMark Andrews CASL/AS_Basic_CASL.hs Modal/AS_Modal.hs Hybrid/AS_Hybrid.hs TopHybrid/AS_TopHybrid.hs \
7d3458a972a902740eb142044655aba6c6ffb9acMark Andrews Syntax/AS_Structured.hs Syntax/AS_Architecture.hs Syntax/AS_Library.hs \
7c441b7f4afdedb6e5a99f113a4f926a005fa950Mark Andrews CspCASL/AS_CspCASL_Process.hs CspCASL/AS_CspCASL.hs \
7f20fd8ebb0cabc8f935381d958f8371990c9212Mark Andrews# files to extract data types from to generate ShATermConvertible instances
8695d7b357789bedff63e5b19c5ab25cd58fcd4bMark Andrewsatc_files = Common/AS_Annotation.der.hs Common/DefaultMorphism.hs \
8695d7b357789bedff63e5b19c5ab25cd58fcd4bMark Andrews Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
8695d7b357789bedff63e5b19c5ab25cd58fcd4bMark Andrews Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
f76c4ebaf586a693521f018fbc617c292c1555d7Mark Andrews Logic/Prover.hs Common/LibName.hs Common/ExtSign.hs \
b597abd9cc44c7b9ecd0ff67df59a21ff45e88d5Mark Andrews Static/DgUtils.hs Static/XGraph.hs Static/DevGraph.hs \
b597abd9cc44c7b9ecd0ff67df59a21ff45e88d5Mark Andrews Common/Id.hs Common/Result.hs Common/OrderedMap.hs \
81e302788a444b81231a7cda721548a020ae5660Brian Wellington# files generated by genRules as input for DriFT
81e302788a444b81231a7cda721548a020ae5660Brian Wellingtonatc_der_files = $(foreach file, $(atc_files), \
81e302788a444b81231a7cda721548a020ae5660Brian Wellington ATC/$(basename $(basename $(notdir $(file)))).der.hs)
c00a1eb423623442aff428336bb55590f79013bbMark Andrews# the rules to create ATC .der.hs file for DriFT
4b171ebd702d72200a4d7609f11c5f79d6b6f964Brian WellingtonATC/Result.der.hs: Common/Result.hs $(GENRULES)
03fae7ef2173cdf32918853b047d95d9046574ccMark AndrewsATC/OrderedMap.der.hs: Common/OrderedMap.hs $(GENRULES)
03fae7ef2173cdf32918853b047d95d9046574ccMark AndrewsATC/Graph.der.hs: Common/Lib/Graph.hs $(GENRULES)
603d1d1e20fbffc986b3aec93379bb4f6ac37afcMark AndrewsATC/ProofTree.der.hs: Common/ProofTree.hs $(GENRULES)
2dd99c098ca162f985b7ef3c8142a964ad8281aeMark AndrewsATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
2dd99c098ca162f985b7ef3c8142a964ad8281aeMark Andrews $(GENRULECALL) -i ATC.IRI -i Common.ATerm.ConvInstances -o $@ $<
2dd99c098ca162f985b7ef3c8142a964ad8281aeMark AndrewsATC/Consistency.der.hs: Common/Consistency.hs $(GENRULES)
2dd99c098ca162f985b7ef3c8142a964ad8281aeMark Andrews $(GENRULECALL) -x Common.Consistency.ConservativityChecker -o $@ $<
1fb264ed3aa861a67d7bab9aeb5aea5836e03c14Mark AndrewsATC/LibName.der.hs: Common/LibName.hs $(GENRULES)
1fb264ed3aa861a67d7bab9aeb5aea5836e03c14Mark Andrews $(GENRULECALL) -i ATC.IRI -i Common.ATerm.ConvInstances -o $@ $<
608c703d1231e0b1f291637ca5361b773afcdbf1Mark AndrewsATC/ExtSign.der.hs: Common/ExtSign.hs $(GENRULES)
608c703d1231e0b1f291637ca5361b773afcdbf1Mark Andrews $(GENRULECALL) -i Common.ATerm.ConvInstances -o $@ $<
feb8ae093115b36ac061e23d0227ea06f51950a3Mark AndrewsATC/DefaultMorphism.der.hs: Common/DefaultMorphism.hs $(GENRULES)
27151990b2b48f027f7f01972fe8e0dfa1df52d3Mark AndrewsATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
6b610836bc081fdadf7bc7a16ce27f422c6b5638Brian WellingtonATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
2211bec6a0626b681fdf5a8e4406555ef76ddf70Mark AndrewsATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
2211bec6a0626b681fdf5a8e4406555ef76ddf70Mark Andrews $(GENRULECALL2) -i ATC.AS_Architecture -i ATC.LibName -o $@ $<
fcb2ecdb52a594a5c0d07c2e98e67c14708c16dfMark AndrewsATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
fcb2ecdb52a594a5c0d07c2e98e67c14708c16dfMark Andrews $(GENRULECALL) -i ATC.AS_Annotation -i ATC.Result -o $@ $<
b9c80c8bddbb88384d7baef297a873b5f8715e49Mark Andrews $(GENRULECALL) -x Logic.Prover.ProverTemplate \
b9c80c8bddbb88384d7baef297a873b5f8715e49Mark Andrews -i ATC.AS_Annotation -i ATC.OrderedMap -o $@ $<
b9c80c8bddbb88384d7baef297a873b5f8715e49Mark AndrewsATC/DgUtils.der.hs: Static/DgUtils.hs $(GENRULES)
b9c80c8bddbb88384d7baef297a873b5f8715e49Mark Andrews $(GENRULECALL2) -i ATC.LibName -i ATC.Consistency -o $@ $<
f38c274c217d0a5b791786877422306a0e477e10Mark AndrewsATC/DevGraph.der.hs: Static/DevGraph.hs $(GENRULES)
f38c274c217d0a5b791786877422306a0e477e10Mark Andrews $(GENRULECALL2) -i ATC.XGraph -i ATC.AS_Library -o $@ $<
84ef147b1fa0aed15cade55478ed647d15f7b094Mark Andrews# ATC files for every logic
84ef147b1fa0aed15cade55478ed647d15f7b094Mark AndrewsCASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \
e53a5a116fc531f730df0adb091278ff8a941dffMark AndrewsHasCASL_files = Common/Prec.hs HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs
fc7fbdf6e66fb496442ec4f99f5a84669ea4c6d3Mark AndrewsPropositional_files = Propositional/Sign.hs Propositional/Morphism.hs \
fc7fbdf6e66fb496442ec4f99f5a84669ea4c6d3Mark Andrews Propositional/AS_BASIC_Propositional.hs Propositional/Symbol.hs \
986be654feec852eb9da0d15599f18d0035e569bMark AndrewsHolLight_files = HolLight/Sentence.hs HolLight/Sign.hs \
c26c65b7a0d036e78bfc73f3e7e0817adb0365c0Mark AndrewsQBF_files = Propositional/Sign.hs QBF/Morphism.hs \
bda64555f62216c3e785338f372a7ad9b79c197cMark AndrewsRS_files = RelationalScheme/AS.hs RelationalScheme/Sign.hs
bda64555f62216c3e785338f372a7ad9b79c197cMark AndrewsModal_files = Modal/AS_Modal.hs Modal/ModalSign.hs
39c2b741427eedafe5054909773c2e121c078b72Mark AndrewsHybrid_files = Hybrid/AS_Hybrid.hs Hybrid/HybridSign.hs
39c2b741427eedafe5054909773c2e121c078b72Mark AndrewsTopHybrid_files = TopHybrid/AS_TopHybrid.hs TopHybrid/TopHybridSign.hs
de36c606c52ad51e5abca6e42faf655937e5ed10Mark AndrewsTemporal_files = Temporal/AS_BASIC_Temporal.hs Temporal/Sign.hs \
23cb957a81a51a9656917ea98d0ae56b7abdcaccMark AndrewsConstraintCASL_files = ConstraintCASL/AS_ConstraintCASL.hs
7789eb1345bef03773a2530dce7f2709cc50aa2aAndreas GustafssonCoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs
28d8b4118da7abed531ca09136a6d1402837d721Mark AndrewsCspCASL_files = CspCASL/AS_CspCASL.hs CspCASL/AS_CspCASL_Process.hs \
28d8b4118da7abed531ca09136a6d1402837d721Mark Andrews CspCASL/SignCSP.hs CspCASL/SymbItems.hs CspCASL/Symbol.hs \
d6c0627d1e4d841eac9576427f2d4a0cf9a47e2cMark AndrewsCASL_DL_files = CASL_DL/AS_CASL_DL.hs CASL_DL/Sign.hs CASL_DL/Sublogics.hs
5d7b81d2a49d237ff5e73fdc4bd3394a3ee29392Mark AndrewsDFOL_files = DFOL/AS_DFOL.hs DFOL/Sign.hs DFOL/Morphism.hs DFOL/Symbol.hs
caa8797a00ccb1a02f1690dda5b4aeda9a1db5a7Mark AndrewsMaude_files = Maude/Sign.hs Maude/Morphism.hs Maude/Sentence.hs \
9ae90732df942a7ffcbaa26ba254b55248ce79a5Mark AndrewsExtModal_files = ExtModal/AS_ExtModal.hs ExtModal/ExtModalSign.hs \
9ae90732df942a7ffcbaa26ba254b55248ce79a5Mark Andrews ExtModal/MorphismExtension.hs ExtModal/Sublogic.hs
c1567cb58cbf2eb816320ff49f000afafea02a85Mark AndrewsCSL_files = CSL/Sign.hs CSL/Morphism.hs CSL/AS_BASIC_CSL.hs CSL/Symbol.hs \
c73c1c33ec9569c8f9ffd205b48f044f9b03795bMark AndrewsCommonLogic_files = CommonLogic/AS_CommonLogic.hs CommonLogic/Sign.hs \
c73c1c33ec9569c8f9ffd205b48f044f9b03795bMark Andrews CommonLogic/Symbol.hs CommonLogic/Morphism.hs CommonLogic/Sublogic.hs
48b0f5ff87f0a5a138129bcd855fd72908491321Andreas GustafssonTHF_files = THF/As.hs THF/Cons.hs THF/Sign.hs THF/Sublogic.hs
cde7dfea4c1267a2b526114f4ea80fe9db1fc557Brian WellingtonOWL2_files = OWL2/AS.hs OWL2/Symbols.hs OWL2/Sign.hs OWL2/MS.hs \
cde7dfea4c1267a2b526114f4ea80fe9db1fc557Brian Wellington OWL2/Morphism.hs OWL2/ProfilesAndSublogics.hs OWL2/Sublogic.hs \
fca9cc33ad4299e58e53aa5273d805477267e27aBrian WellingtonRDF_files = RDF/AS.hs OWL2/AS.hs RDF/Symbols.hs RDF/Sign.hs RDF/Morphism.hs \
84185d19c7a9ef1ac23cc6236c8773697d4efeb1Brian Wellington# ATC DrIFT-rule generation for logics
683f10428e292811317df38fa324f242abbf7384Mark Andrews $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(CASL_files)
5da1e589c2288dbe87002f771005a78d80a2e258Mark AndrewsRelationalScheme/ATC_RelationalScheme.der.hs: $(RS_files) $(GENRULES)
5da1e589c2288dbe87002f771005a78d80a2e258Mark Andrews $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(RS_files)
5da1e589c2288dbe87002f771005a78d80a2e258Mark AndrewsPropositional/ATC_Propositional.der.hs: $(Propositional_files) $(GENRULES)
5da1e589c2288dbe87002f771005a78d80a2e258Mark Andrews $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Propositional_files)
852fa3b2e32719d094f3ad6513238841ae1f078bMark Andrews $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(QBF_files)
8569ab045a4cf6ecd1b5a3354ddb1c93ef34ea57Brian WellingtonHolLight/ATC_HolLight.der.hs: $(HolLight_files) $(GENRULES)
8569ab045a4cf6ecd1b5a3354ddb1c93ef34ea57Brian Wellington $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(HolLight_files)
a5c077e40c784cf9e25c95a1ab94db2faab04ae9Brian WellingtonHasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)
a5c077e40c784cf9e25c95a1ab94db2faab04ae9Brian Wellington $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(HasCASL_files)
2ca556300b09a94f0937b303386d29b95ef057ddBrian WellingtonIsabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
2ca556300b09a94f0937b303386d29b95ef057ddBrian WellingtonModal/ATC_Modal.der.hs: $(Modal_files) $(GENRULES)
97527fc03cdb061759e2c9529c670ac1c190ef84Brian Wellington $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Modal_files)
e1c2a8b9c120bcfc2f56e866ca3069b8a90c38dbMark AndrewsHybrid/ATC_Hybrid.der.hs: $(Hybrid_files) $(GENRULES)
e1c2a8b9c120bcfc2f56e866ca3069b8a90c38dbMark Andrews $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Hybrid_files)
b7064914ca566fdd67cf0fe7e82d586cbb596470Mark AndrewsTopHybrid/ATC_TopHybrid.der.hs: $(TopHybrid_files) $(GENRULES)
b7064914ca566fdd67cf0fe7e82d586cbb596470Mark Andrews $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(TopHybrid_files)
3e67a87fc6be516ec12afa5aa31c2c04d5a6ae17Brian WellingtonTemporal/ATC_Temporal.der.hs: $(Temporal_files) $(GENRULES)
3e67a87fc6be516ec12afa5aa31c2c04d5a6ae17Brian Wellington $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Temporal_files)
49f62849e5f80add0ee36b0f9b42cdce8de9748aMark AndrewsConstraintCASL/ATC_ConstraintCASL.der.hs: $(ConstraintCASL_files) $(GENRULES)
e9472e9f18f1c4f1279be2b3147be13a2bb731d0Mark Andrews $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ConstraintCASL_files)
e9472e9f18f1c4f1279be2b3147be13a2bb731d0Mark AndrewsCASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
e9472e9f18f1c4f1279be2b3147be13a2bb731d0Mark Andrews $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
d073663cb45bef2fff5f9a43b9b6006edfc52483Mark AndrewsCoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)
d073663cb45bef2fff5f9a43b9b6006edfc52483Mark Andrews $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
d83346263dc68358d73de2a8be60846c9c92950eAndreas GustafssonCOL/ATC_COL.der.hs: $(COL_files) $(GENRULES)
cad61731f8e960d9d99034a2a6eaafe1069c405cMark Andrews $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(COL_files)
54469c2b2262f6a3f09610df69e16e9c75fd1fe5Mark AndrewsCspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
54469c2b2262f6a3f09610df69e16e9c75fd1fe5Mark Andrews $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)
90e303b114e56db5809fdd19805243457fa43cd9Olafur GudmundssonSoftFOL/ATC_SoftFOL.der.hs: $(SoftFOL_files) $(GENRULES)
90e303b114e56db5809fdd19805243457fa43cd9Olafur Gudmundsson $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SoftFOL_files)
b938d2af619822a8262c86223cad958511e716a9Andreas Gustafsson $(GENRULECALL) -x VSE.As.FoldRec -i CASL.ATC_CASL -o $@ $(VSE_files)
9ab461a6ffed2ae2fe0380c30b69052db7473405Mark AndrewsOMDoc/ATC_OMDoc.der.hs: $(OMDoc_files) $(GENRULES)
13ba983cc86bc7d80d5f66ba09002f7d510a6631Mark Andrews $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(DFOL_files)
84d8c0166ddc63ad5ce64e7d354553de38b9aabdAndreas Gustafsson $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(LF_files)
66291de2060a1569de3fe9c5f0c1225448868f7aMark AndrewsFramework/ATC_Framework.der.hs: $(Framework_files) $(GENRULES)
66291de2060a1569de3fe9c5f0c1225448868f7aMark Andrews $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Framework_files)
84d8c0166ddc63ad5ce64e7d354553de38b9aabdAndreas GustafssonMaude/ATC_Maude.der.hs: $(Maude_files) $(GENRULES)
6c06bc591a830023e5e7a41cc4b37978b98c0c51Mark Andrews $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Maude_files)
c36f45e354c0d5b6ab9f821bfe315d0ce9d95a29Mark AndrewsExtModal/ATC_ExtModal.der.hs: $(ExtModal_files) $(GENRULES)
9cec4ca6cac428a46c6d64197c64831dcc02f506Andreas Gustafsson $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ExtModal_files)
9cec4ca6cac428a46c6d64197c64831dcc02f506Andreas GustafssonCSL/ATC_CSL.der.hs: $(CSL_files) $(GENRULES)
23fb770906bf1fd98210f16ad660078274242963Mark Andrews $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(CSL_files)
23fb770906bf1fd98210f16ad660078274242963Mark AndrewsCommonLogic/ATC_CommonLogic.der.hs: $(CommonLogic_files) $(GENRULES)
0cb27602e5690baa9ab61c7c1430e507536adca7Brian Wellington $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(CommonLogic_files)
0cb27602e5690baa9ab61c7c1430e507536adca7Brian WellingtonAdl/ATC_Adl.der.hs: $(Adl_files) $(GENRULES)
ff1b064f5e2bf19c8e25f8927d23df5714e666edMark Andrews $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Adl_files)
8e40433e347bc487cd70f02487fc7ce947a2422aMark Andrews $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Fpl_files)
880723fb130841459d45695b387651cacd6c9bb8Mark Andrews $(GENRULECALL) -i ATC.Id -i ATC.GlobalAnnotations -o $@ $(THF_files)
8f44fd4f8d5cefc227ab0fe59cbcbc3979fbc9caAndreas GustafssonFreeCAD/ATC_FreeCAD.der.hs: $(FreeCAD_files) $(GENRULES)
8f44fd4f8d5cefc227ab0fe59cbcbc3979fbc9caAndreas Gustafsson $(GENRULECALL) -i Common.ATerm.ConvInstances -o $@ $(FreeCAD_files)
8f44fd4f8d5cefc227ab0fe59cbcbc3979fbc9caAndreas GustafssonOWL2/ATC_OWL2.der.hs: $(OWL2_files) $(GENRULES)
fefbb64a751f23c9dcf8bb1e62c6ed40a6a04fb2Mark Andrews $(GENRULECALL) -i ATC.Result -o $@ $(OWL2_files)
0d6f70f1dbf77cf10e0bae8683c741f5924f6afeMark Andrews $(GENRULECALL) -i ATC.Result -o $@ $(RDF_files)
111e3433d289e8b4ea1260add39baa78c2a46891Mark AndrewsCSMOF/ATC_CSMOF.der.hs: $(CSMOF_files) $(GENRULES)
cf300e03de3df3ff422db922520bf07c686c86daMark Andrews $(GENRULECALL) -i Common.ATerm.ConvInstances -o $@ $(CSMOF_files)
cf300e03de3df3ff422db922520bf07c686c86daMark AndrewsQVTR/ATC_QVTR.der.hs: $(QVTR_files) CSMOF/ATC_CSMOF.hs $(GENRULES)
9ac8796f1653d89af589753a3e42c694f35ddd8aMark Andrews $(GENRULECALL) -i CSMOF.ATC_CSMOF -i Common.ATerm.ConvInstances \
242bba8991b030b7764f0bdca3922d75c34ea51eAndreas Gustafsson# all ATC .der.hs files for all logics
242bba8991b030b7764f0bdca3922d75c34ea51eAndreas Gustafssonatc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
242bba8991b030b7764f0bdca3922d75c34ea51eAndreas Gustafssongenerated_rule_files = $(atc_der_files) $(atc_logic_files)
242bba8991b030b7764f0bdca3922d75c34ea51eAndreas Gustafsson# a rule to create all .der.hs files
242bba8991b030b7764f0bdca3922d75c34ea51eAndreas Gustafsson# the final ATC target files created by DriFT
f2c49862fb348586bb4b95a5388c86e0c0cbfa2cAndreas Gustafssongendrifted_files = $(patsubst %.der.hs, %.hs, $(generated_rule_files))
45fe575607b91147ed753d175a7255198f14f197Andreas Gustafsson# all sources that need to be created before ghc can be called
ef29912666cc6160f7165558bef017ab3849c5e1Mark Andrewsderived_sources += $(drifted_files) Driver/Version.hs $(hs_der_files)
ef29912666cc6160f7165558bef017ab3849c5e1Mark Andrews####################################################################
ef29912666cc6160f7165558bef017ab3849c5e1Mark Andrews# BUILD related targets
ef29912666cc6160f7165558bef017ab3849c5e1Mark Andrews####################################################################
ef29912666cc6160f7165558bef017ab3849c5e1Mark Andrews.PHONY: all hets-opt hets-optimized hets_server-opt docs jars \
0cfa2fb26df42f781eca8c4c856d2d0165055bebMark Andrews clean o_clean clean_pretty bin_clean java_clean realclean distclean \
0cfa2fb26df42f781eca8c4c856d2d0165055bebMark Andrews annos check test capa hacapa h2h h2hf showKP clean_genRules genRules \
0cfa2fb26df42f781eca8c4c856d2d0165055bebMark Andrews count fromKif release cgi ghci build-hets callghc \
0cfa2fb26df42f781eca8c4c856d2d0165055bebMark Andrews get-programatica check_desktop check_server check_cgi \
06a949d2ce8d4b4cbfbf4e7a0335316520aafa46Andreas Gustafsson install install-common install-owl-tools archive \
06a949d2ce8d4b4cbfbf4e7a0335316520aafa46Andreas Gustafsson build-indep build-arch build binary-indep binary-arch binary rev.txt
3638017bd3cb8e30874f708a125d1541b680b25eBrian Wellington# dummy target to force ghc invocation
8771fbe4a2cee7bebd785a486824833d741c7315Brian Wellington# some trickery to trigger a full clean if the main target (hets, hets_server)
8771fbe4a2cee7bebd785a486824833d741c7315Brian Wellington# changed since last call
8bb79fc9b9952172d10f56f31739730e38d4b013Brian Wellington -@[ -e .hets_server -o -e .hets_cgi -o -e .hets_oow ] && $(MAKE) clean
b541c10d0442d9804d94567a97956cec3bd2912dBrian Wellington -@[ -e .hets_desktop -o -e .hets_cgi -o -e .hets_oow ] && $(MAKE) clean
c01237c6bc5ec25063b4aae1799fe4de01a7455bAndreas Gustafsson -@[ -e .hets_desktop -o -e .hets_server -o -e .hets_oow ] && $(MAKE) clean
c52806164c335f89e1980af836470b6daffe4f82Andreas Gustafsson# the variant without GUI
c52806164c335f89e1980af836470b6daffe4f82Andreas Gustafssonhets_server hets_server-opt: HASKELINE_PACKAGE :=
c52806164c335f89e1980af836470b6daffe4f82Andreas Gustafssonhets_server hets_server-opt: GLADE_PACKAGE :=
c52806164c335f89e1980af836470b6daffe4f82Andreas Gustafssonhets_server hets_server-opt: check_server $(derived_sources)
6b31d9c56874d3bd58b420cbe6cd64be502dbe08Andreas Gustafssonhets-opt: check_desktop $(derived_sources)
d9d6d2f77fe54831dec9cde8ca03ae1f825599f9Andreas Gustafsson# deprecated target name
9b2c0d29248ad5f86b47319239a06c783e1b5307Andreas Gustafssonhets_cgi hets_cgi-opt: check_cgi GUI/hets_cgi.hs $(derived_sources)
eb2c518a3871932e86268e7c6ddae2b2a00d72fdMark Andrews $(HC) --make $(HC_OPTS) -o hets.cgi GUI/hets_cgi.hs
92094d44a2d0cb2b1be58a87299903ba7c436a0cAndreas GustafssonTEX_FILES := $(wildcard doc/*.tex doc/*.png doc/*.dot doc/*.sty doc/*.eps)
11fe3dcfe2a5fbefd0cfe445872dc4c595506204Andreas Gustafsson if [ -n "$$X" ]; then \
b4aeceec736cd16d4c4e98f519c8df79b15fbe45Andreas Gustafsson -pdflatex="pdflatex -interaction=nonstopmode" UserGuide.tex ; \
b4aeceec736cd16d4c4e98f519c8df79b15fbe45Andreas Gustafsson printf '\nMissing "latexmk" - unable to create doc/UserGuide.pdf!\n\n';\
307ba34fa07db768c3a899844f248a2c1d7dcc7fAndreas Gustafsson# replace '$Header$' in all *.hs with the filename of the containing file
307ba34fa07db768c3a899844f248a2c1d7dcc7fAndreas Gustafsson# call it from time to time
b6b9d8b8434e4eaab74b69cd14fcacf448055ca5Brian Wellington @find . -name '*.hs' -exec fgrep -l '$$Header$$' {} + | xargs -I@ \
31f6e44dcaad33d66d607e3a919d4aa59cdbaec5Andreas GustafssonGHC_LIBDIR := $(shell $(STACK_EXEC) ghc --print-libdir)
31f6e44dcaad33d66d607e3a919d4aa59cdbaec5Andreas GustafssonGHC_BASEDIR := $(shell cd $(GHC_LIBDIR)/../.. && printf "$${PWD}")
af36ecc41ae6bd73553aacd006ae55474e193b07Andreas Gustafsson# scanning the "whole" NFS server isn't so smart, so restrict to wellknown dirs
af36ecc41ae6bd73553aacd006ae55474e193b07Andreas GustafssonHADDOCK_INTERFACES = $(shell find $(GHC_BASEDIR)/share/doc/ghc \
6d6529b5e5ab7223fa2560ebe144bcb82517cef3Mark Andrews $(GHC_BASEDIR)/lib/ghc-doc/haddock -name '*.haddock' 2>/dev/null)
af36ecc41ae6bd73553aacd006ae55474e193b07Andreas GustafssonHAD_INTS = $(foreach file, $(HADDOCK_INTERFACES),\
0b07b9482c00060d1ddd551a5dcb8cecbe2c1f65Mark Andrews -i http://hackage.haskell.org/packages/archive/$(basename $(notdir $(file)))/latest/doc/html,$(file))
c0fe9b0d1b01a9a0883977a362ce4128723a56d6Mark AndrewsHADDOCK_OPTS := $(addprefix --optghc=, $(HC_OPTS))
2869504d83e84a91dbc822e8a243e837f5c0374dAndreas Gustafsson printf '\nCheck log.haddock for results ...\n'
138cc7f283889367b11840ff77a9ea08e17a9daeAndreas Gustafsson $(HADDOCK) -o docs -h -s ../%F $(HAD_INTS) \
ce6caa07591b3723968c22f5aa13740f9609135aAndreas Gustafsson -t 'Hets - the Heterogeneous Tool Set' \
138cc7f283889367b11840ff77a9ea08e17a9daeAndreas Gustafsson -p Hets-Haddock-Prologue.txt $(HADDOCK_OPTS) \
138cc7f283889367b11840ff77a9ea08e17a9daeAndreas Gustafsson $(filter-out Scratch.hs, $(wildcard *.hs)) \
58930ca9802e772afe9f5ccb30f236d201cf60e0Danny Mayer cd utils/DrIFT-src; $(HC) --make -o ../DrIFT DrIFT.hs
e3e94dd137c5f9d3d5c5179863f674b27aa0cc02Andreas Gustafsson$(DTD2HS): $(DTD2HS_deps) utils/DtdToHaskell-src/DtdToHaskell.hs
e3e94dd137c5f9d3d5c5179863f674b27aa0cc02Andreas Gustafsson @mkdir -p utils/DtdToHaskell-src/DtdToHaskell
e3e94dd137c5f9d3d5c5179863f674b27aa0cc02Andreas Gustafsson @cp -f $(DTD2HS_deps) utils/DtdToHaskell-src/DtdToHaskell
7c014c5bf41dc38802e8889c0a9110204eb1a552Andreas Gustafsson $(HC) --make $(HC_OPTS) -iutils/DtdToHaskell-src -o $@ \
7c014c5bf41dc38802e8889c0a9110204eb1a552Andreas GustafssonIsabelle/IsaExport.hs: $(DTD2HS) Isabelle/IsaExport.dtd
7c014c5bf41dc38802e8889c0a9110204eb1a552Andreas Gustafsson $(DTD2HS) Isabelle/IsaExport.dtd Isabelle/IsaExport.hs Isabelle.
3e42bdfdc901b6b921b02028bd51ca2af8e84adcMark Andrews $(HC) --make -i../DrIFT-src -i../.. $(HC_WARN) \
b20eef7ab022dd984e2e9c12f6a7edf35661d3b0Mark Andrewsutils/appendHaskellPreludeString: utils/appendHaskellPreludeString.hs
b20eef7ab022dd984e2e9c12f6a7edf35661d3b0Mark Andrewsutils/genItCorrections: $(GENITCORRECTIONS_deps)
bad3251d3f7ffccdec39ccfe04d94308985fb36eAndreas Gustafssonpretty/LaTeX_maps.hs: utils/words.pl utils/genItCorrections \
bad3251d3f7ffccdec39ccfe04d94308985fb36eAndreas Gustafsson pretty/words.input pretty/fonts.input pretty/width-table.tex.templ
80dd46d7aab16c42a8c1acf6156c95406a9f20a4Mark Andrews $(info $(EOL)Generating pretty/LaTeX_maps.hs ...$(EOL))
78bf1ca89505820ed7b03be4bf0c0b53b557f3cdAndreas Gustafsson ../utils/genItCorrections gen_it_characters gen_it_words >> LaTeX_maps.hs
78bf1ca89505820ed7b03be4bf0c0b53b557f3cdAndreas Gustafsson $(info $(EOL)Done.$(EOL)Please copy the file manually to Common$(EOL))
3842a051baf34ffc4e428cd6f2d4a641e548e6f6Mark Andrews @$(RM) $(generated_rule_files) $(gendrifted_files) $(hs_clean_files)
46ba6046bcb3b534346de13a4ff5c1513e72936bAndreas Gustafsson### removes all *.o, *.hi and *.p_o files in all subdirectories
04f158ce9a12746eb216892b2bf8259749db254eAndreas Gustafsson -name '*.o' -o -name '*.hi' -o -name '*.p_o' \
04f158ce9a12746eb216892b2bf8259749db254eAndreas Gustafsson -o -name '*.dyn_hi' -o -name '*.dyn_o' \) -exec rm -f {} +
62c1fe7b450916acdaf4a3fe65a9b691d5d32f3fBrian Wellington### remove binaries
7e2f4ceafaae4eac1deddc87f906b29a922fff9dAndreas Gustafsson# do not delete on exported archive, because latexmk might not be available
7e2f4ceafaae4eac1deddc87f906b29a922fff9dAndreas GustafssonUSER_GUIDE := $(shell [ -n "$(EXPORTED)" ] || printf 'doc/UserGuide.pdf')
2053e8c26cd69600132632fbee247601ce8c9e8cAndreas Gustafsson# Ubuntu/Debian dash crap really hurts
90c5477ca11a94b0e7d8071181d69544e1ab9be9Mark Andrews @ksh -c "rm -rf pretty/*.c.* pretty/*.h.* pretty/gen_it_* \
90c5477ca11a94b0e7d8071181d69544e1ab9be9Mark Andrews test/*/*.{thy,pp.het,pp.tex,th,dfg.c,xml,log,dvi,aux,sty} \
552a117791c17878c5c1b94b0fc3ac4e8491543eMark Andrews test/*/log */test/temp* ToHaskell/test/*.{out,output} \
552a117791c17878c5c1b94b0fc3ac4e8491543eMark Andrews ExtModal/Tries/*.{pp.het,th} Fpl/test/*.{pp.het,th} \
f3e4c3d6c536973bae92611402ba55277069eba2Mark Andrews CommonLogic/TestData/*.{pp.het,th} Common/testxmldiff \
f3e4c3d6c536973bae92611402ba55277069eba2Mark Andrews doc/UserGuide.{log,aux,bbl,blg,out,fdb_latexmk,fls} doc/hs2isa.ps \
6fb633bc3fddba07fc9460ffd245b7ee2d459285Mark Andrews debian/{root,files,hets-*,tmp} \
ca033e166ca9f9dc7bf010065a93af668a09fd44Mark Andrews @$(RM) -rf OWL2/*.jar OWL2/java/build OWL2/java/tmp OWL2/lib
7a104af70fb3071e7949c4e0e585af18ab362db5Mark Andrews### additionally removes generated files not in the repository tree
769cd7d5dd677434c3dfa27cbfdd8cb76296fcdcMark Andrews utils/genItCorrections pretty/LaTeX_maps.hs pretty/words.pl.log \
11931cc68d6c8139f507a724e7ca9814eed8b552Mark Andrews### interactive
11931cc68d6c8139f507a724e7ca9814eed8b552Mark Andrews### build only, don't link. Target was formerly known as 'build'.
985b4f1c8653c6dfaa46652c412838850c0ffb1cMark Andrews### Kif parser
e9ca87459a20f5e6721b9bd0b28c95fc3d6b843cMark Andrews### Annos parser
ca690f98020f75758bc26f4b5ef1ccf0472a27c3Mark Andrews### CASL parser
137a1f98e3862577ae9ccbb6b735ef63a51c456eMark Andrews### HasCASL parser
5f4804c7e47e3cfe7237d27a354d268b0b7ea73bAndreas Gustafsson### Haskell analysis
cc8e8b59d6780889739657226a95e23ca1ecadb1Andreas Gustafsson### Haskell to Isabelle-HOLCF translation
65775fe205e8ac935313c42062c75460e0bc1514Andreas GustafssonHaskell/h2hf: Haskell/h2hf.hs Haskell/*.hs Isabelle/*.hs Common/*.hs \
17b687ef360ba8c07201dc6511a3c975cc1bb2a8Andreas Gustafsson### HasCASL to Haskell translation
17b687ef360ba8c07201dc6511a3c975cc1bb2a8Andreas Gustafsson### test program to check the known provers
2053e8c26cd69600132632fbee247601ce8c9e8cAndreas Gustafsson### run tests in other directories
bc508906db43dda7eab0988348dd0ae3f3023a9bMark Andrews for i in $(TESTDIRS); do $(MAKE) -C $$i check; done
b352902413608d0eb310c4bb45412fa45734afbcAndreas Gustafsson## Preparing the version of Hets
b352902413608d0eb310c4bb45412fa45734afbcAndreas GustafssonDriver/Version.hs: Driver/Version.in version_nr rev.txt
b352902413608d0eb310c4bb45412fa45734afbcAndreas Gustafsson @${SED} -e "s|\$$Header\$$|./$@|" Driver/Version.in >$@
72e8c079c4c6dc66d565cf89ebf6feb5fa2dea33Mark Andrews @printf ' ++ "$(shell cat version_nr), $(shell cat rev.txt)"\n' >> $@
c8ab83c08e5227b5146295a9ef4a96d61b066b67Andreas Gustafsson printf '$(GIT_TIMESTAMP)\n' > rev.txt ; \
c8ab83c08e5227b5146295a9ef4a96d61b066b67Andreas Gustafsson elif [ ! -e rev.txt ]; then \
4e57d3ff7d92abdef4b0b6aebc23a9dfae2ba040Andreas Gustafsson printf 'Unable to create rev.txt (no git repo infos available)\n' ; \
1c398fd83c444d61904d23431d3994139919b68eAndreas Gustafsson printf 'Keeping rev.txt (no git repo infos available)\n' ; \
d352f188cb9e3820054b7451384a3d910619b4a1Andreas Gustafsson## two dependencies to avoid circular prerequisites
3d38596530c389610494e6a6ba70d9f5dc9717c5Andreas GustafssonCASL_DEPENDENT_BINARIES = hets CASL/capa CASL/fromKif \
081cff0c33514a5dc63ab794fc199c07377ab756Mark Andrews Common/annos Common/test_parser Comorphisms/test/showKP \
3d38596530c389610494e6a6ba70d9f5dc9717c5Andreas Gustafsson CspCASL/print_csp HasCASL/hacapa Haskell/h2h Haskell/h2hf \
a7cb695600c3c14ac12676f0fb1e179690c5883cMark Andrews Haskell/hana Haskell/wrap Isabelle/isa Syntax/hetpa
b19619260fbd447b0fe3e709b2cc8ae38f27ec3fMark Andrews## suffix rules
1255d388f034dc556d235a002527101781dbeb29Mark Andrews## rule for GHC
31d3464c0c0a35236c7924f698c5a8a66a9ed534Mark Andrews## rule for DrIFT
31d3464c0c0a35236c7924f698c5a8a66a9ed534Mark Andrews $(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $< > $@
f04c15adc7e62deb2f53cc53f32d890936007903Andreas Gustafsson## compiling rules for object and interface files
32d248107a5bc92b4bf9fc77deaa55b3da969ba2Andreas Gustafsson## compiling rules for dependencies
4574714ad44ba97f53425fe8d21b7ecb00ac83b9Andreas Gustafsson $(HC) -M $(HC_OPTS) -optdep-f -optdep$@ $<
4574714ad44ba97f53425fe8d21b7ecb00ac83b9Andreas Gustafsson $(HC) -M $(HC_OPTS) -optdep-f -optdep$@ $<
8d8c145175370d2fd8dbdf425b5ac2a9dc19da96Mark Andrews## Rule to generate hs files from glade files. Needed for GTK
8d8c145175370d2fd8dbdf425b5ac2a9dc19da96Mark Andrews%.hs: %.glade utils/appendHaskellPreludeString \
cf70df7d0e24401a358f0b9c1a616ad0e8c783a6Mark Andrews cat GUI/Glade/Template.append.hs | sed "s/\%s/$$b/" | \
9234d92d4e274791eff42cc4ea5766ed7a281b17Mark Andrews# just build all required jar files
3c3fe072252aecffae43e6349125663c315b092dAndreas Gustafsson @if [ -z $(PROGRAMATICA_SRC_FILE) -o ! -e $(PROGRAMATICA_SRC_FILE) ] && \
3c3fe072252aecffae43e6349125663c315b092dAndreas Gustafsson printf 'Unable to get programatica (%s %s)\n' \
3c3fe072252aecffae43e6349125663c315b092dAndreas Gustafsson 'neither PROGRAMATICA_SRC_FILE nor PROGRAMATICA_SRC_FILE' \
64ea5fd972c9946a3fe56cbc0bf897266d3f8747Andreas Gustafsson 'environment variable is set/exist.' ; \
3ad07fa335d40330cd1859da42e67f2457443990Andreas Gustafsson @if [ -e $(PFE_BASE) ]; then \
3ad07fa335d40330cd1859da42e67f2457443990Andreas Gustafsson printf '%s already exists.\n' $(PFE_BASE) ; \
1094dec52a86e57df53f6167d86de94360a7a382Mark Andrews -@HWD=$${PWD} ; X=`echo $(PFE_BASE)| cut -f1 -d/`; \
64ea5fd972c9946a3fe56cbc0bf897266d3f8747Andreas Gustafsson rm -f $$X 2>/dev/null || rm -rf $(PFE_BASE) ; \
fa2fb620c7c0a907b220c257007d8fb6d38bb3a4Andreas Gustafsson if [ -n $(PROGRAMATICA_SRC_FILE) -a -e $(PROGRAMATICA_SRC_FILE) ]; then \
fa2fb620c7c0a907b220c257007d8fb6d38bb3a4Andreas Gustafsson printf 'Extracting $(PROGRAMATICA_SRC_FILE) ...\n' ; \
fa2fb620c7c0a907b220c257007d8fb6d38bb3a4Andreas Gustafsson if $(TAR) xzf "$(PROGRAMATICA_SRC_FILE)" ; then \
62a3dbe63e833f2eaf613393399ea4667d8de28dAndreas Gustafsson mv programatica-*/* $${PFEDIR}/ && rmdir programatica-* ; \
62a3dbe63e833f2eaf613393399ea4667d8de28dAndreas Gustafsson if [ -n "$(PROGRAMATICA_SRC_URL)" -a ! -e $${HWD}/$(PFE_SETUP_FILE) ]; then\
62a3dbe63e833f2eaf613393399ea4667d8de28dAndreas Gustafsson printf 'Fetching $(PROGRAMATICA_SRC_URL) ...\n' ; \
248732d66fffb557e84264c2bb2fb43ac766163fAndreas Gustafsson if wget --no-verbose -O x.tgz "$(PROGRAMATICA_SRC_URL)" ; then \
9bdb01e6c382e897572791b12190472955994d87Mark Andrews mv programatica-*/* $${PFEDIR}/ && rmdir programatica-* ; \
417872b98aec720d587a9ef0197e25e78a2b7ee9Mark Andrews @if [ -e $(PFE_SETUP_FILE) ]; then \
5419c0c2d0b77682021084c69f2a5c5e2f9a5525Andreas Gustafsson printf 'Programatica support available.\nYou probably need to %s\n\n' \
a77ad145d0109081c5da6ac40a2303369db89735Andreas Gustafsson '"make distclean" and make the desired target again.' ; \
61d5bfc06be978ea962b1c64309894ac80351771Mark Andrews printf 'Failed! No programatica support available!\n' ; exit 4 ; \
ada9b8ab20b81716c7ff1f4f3365929b2f7c8ff8Mark AndrewsARC_NAME ?= /tmp/hets-$(HETS_VERSION)-$(GIT_TIMESTAMP)-src.tar.xz
3c9b2e62502460c34c2e0ceba1a5d138b3a13cc1Andreas Gustafsson# remove trailing .txz or .tar.xz
1beaa9e45738ad18cb7cae55aea95a1b16a14f94Andreas Gustafsson $(patsubst %.txz,%, $(patsubst %.tar.xz,%,$(notdir $(ARC_NAME))))
bb60abb44549428414cd55a022f2b8cc4488f7adAndreas Gustafsson printf '\nThis source tree is already exported.\n' && exit 1 ; \
024face21cdfbfc7a862a3be061e6780533ef755Andreas Gustafsson FNAME=$(dir $(ARC_NAME))/$(ARC_BNAME).tar.xz ; \
024face21cdfbfc7a862a3be061e6780533ef755Andreas Gustafsson printf "Exporting source to $${FNAME} ...\n" ; \
1beaa9e45738ad18cb7cae55aea95a1b16a14f94Andreas Gustafsson git archive --format=tar --prefix=$(ARC_BNAME)/ HEAD | \
f953788d75c7df2db43907c68da18ed75c235dd3Andreas Gustafsson if [ -e $(USER_GUIDE) ]; then \
f953788d75c7df2db43907c68da18ed75c235dd3Andreas Gustafsson cp $(USER_GUIDE) tmp/$(ARC_BNAME)/$(USER_GUIDE) ; \
9df7cf8ea31d8d26f9c1be55f2cdafdc68d63c53Andreas Gustafsson printf '\nWARNING: No $(USER_GUIDE) is unavailable\n!' ; \
fbdde79262a4ba2bdf4bfae61167026b3220488aAndreas Gustafsson cd tmp/$(ARC_BNAME) ; $(MAKE) distclean ; \
4fa5d53e750b4e34e19b9648900d489315b185eaAndreas Gustafsson printf 'Removing unused/non-distributed files ...\n' ; \
4fa5d53e750b4e34e19b9648900d489315b185eaAndreas Gustafsson rm -rf HolLight/OcamlTools/*/*dmtcp OWL2/java/lib/native \
fbdde79262a4ba2bdf4bfae61167026b3220488aAndreas Gustafsson rm -rf GMP mini .gitignore utils/{nightly,debian,macports,ubuntu} ; \
a7e1dcd84ada7e4e4c78f3f281e8a4d99adaf4d1Andreas Gustafsson zip -d OWL2/java/lib/owlapi-osgidistribution-3.5.2.jar \
a7e1dcd84ada7e4e4c78f3f281e8a4d99adaf4d1Andreas Gustafsson lib/guava-18.0.jar lib/trove4j-3.0.3.jar ; \
a7e1dcd84ada7e4e4c78f3f281e8a4d99adaf4d1Andreas Gustafsson cd .. ; $(TAR) cJf $(ARC_BNAME).tar.xz $(ARC_BNAME) || exit 4 ; \
2975d0f819762614526c650b9c2077ef22f81328Andreas Gustafsson ln $${PWD}/tmp/$(ARC_BNAME).tar.xz $${FNAME} 2>/dev/null || \
2975d0f819762614526c650b9c2077ef22f81328Andreas Gustafsson mv -f $${PWD}/tmp/$(ARC_BNAME).tar.xz $${FNAME} ; \
0bd2ea544e95601e0f0b056acfa079c99d5f6b57Andreas Gustafsson $(info $(EOL)The next "make clean" will remove the tmp/ directory used.$(EOL))
0bd2ea544e95601e0f0b056acfa079c99d5f6b57Andreas Gustafsson#############################################################################
5f7516bee5ace9542701f23fc7723a3e3196802aMark Andrews# INSTALL targets
79432444e84d2d104119fe6a3d5cbc04b1375bd4Andreas Gustafsson#############################################################################
79432444e84d2d104119fe6a3d5cbc04b1375bd4Andreas Gustafsson# We use $DEB_BUILD_ARCH to detect, whether this make got triggered via
2e24e82fc3551e3228bcacaa7c45cb61daa49195Mark Andrews# dpkg-buildpackage
3c17010ba5a6b8dd8a2bbc550813c7f051f45a08Andreas Gustafsson $(shell [ -n "$$DEB_BUILD_ARCH" ] && printf "$$PWD/debian/root")
d5169236b7260d447e672db8256fdd7c70f5ee1dMark Andrews $(shell [ -n "$$DEB_BUILD_ARCH" ] && printf '/common')
df7596a03eea7f1c2df89bd63d3bd4b73f274565Mark Andrews $(shell [ -n "$$DEB_BUILD_ARCH" ] && printf '/desktop')
df7596a03eea7f1c2df89bd63d3bd4b73f274565Mark Andrews $(shell [ -n "$$DEB_BUILD_ARCH" ] && printf '/server')
f08782f0923d11227983a352c26301cf703383cfMark Andrews $(shell [ "$(OSNAME)" = 'SunOS' ] && printf 'share/texmf/dist/tex/latex' ||\
b923e278535b4e8d264998a85a6ae1eb4b3aa4c6Andreas Gustafsson printf 'share/texlive/texmf-dist/tex/latex')
b923e278535b4e8d264998a85a6ae1eb4b3aa4c6Andreas Gustafsson# all _relative_ wrt. $(PREFIX) and w/o trailing slashes
769ef0b7bdc9520dd62d2f440ea36bc020e88934Andreas Gustafsson# see OWL2/ProveFact.hs - it doesn't use OSGi so we need to extract JNI libs
9e46f410e716f73abb345be215ccb4c61782b718Andreas Gustafsson BASEDIR = $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-owl-tools
b09f4e054cbe67b93a5ff62d511ee25945038943Mark Andrews $(INSTALL) -m 0644 OWL2/tests/wine.rdf $(BASEDIR)/tests/
3d3445447225ab63f49fc24362963ea49ce94901Andreas Gustafsson $(INSTALL) -m 0644 OWL2/*.jar $(BASEDIR)/
3d3445447225ab63f49fc24362963ea49ce94901Andreas Gustafsson ln -sf ../CASL/Termination/AProVE.jar $(BASEDIR)/AProVE.jar
3d3445447225ab63f49fc24362963ea49ce94901Andreas Gustafsson ln -sf ../DMU/OntoDMU.jar $(BASEDIR)/OntoDMU.jar
40dd9cb8cc240c33d820fe79f176ed51e4c06a1aMark Andrews $(INSTALL) -m 0644 OWL2/java/lib/*.jar $(BASEDIR)/lib/
96ea98af241ef00395f4e61de7e2dacfd9941afcMark Andrews $(info Extracting/removing JNI libs from factplusplus*.jar ...$(EOL))
96ea98af241ef00395f4e61de7e2dacfd9941afcMark Andrews rm -rf OWL2/java/tmp ; mkdir -p OWL2/java/tmp; cd OWL2/java/tmp ; \
3dff229f5dd223568476acec4df1f513acb00b1dAndreas Gustafsson X=`ls ../lib/uk.ac.manchester.cs.owl.factplusplus*.jar` ; \
54c4aa0f62aebeb01b6861ee068c1044433fe8feMark Andrews $(INSTALL) -m 0755 lib/native/32bit/libFaCTPlusPlusJNI.* \
792de65053d8a48d05746b35a21a9fa1792e71acAndreas Gustafsson $(INSTALL) -m 0755 lib/native/64bit/libFaCTPlusPlusJNI.* \
808b909f27c30d36b27efb5aa5ef2d18f83b6d4bAndreas Gustafsson rm -rf $(BASEDIR)/lib/native/*/*.dll lib \
3e934267660cb13029bcdbddf318fe1cc27b6718Andreas Gustafsson -zip -d $(BASEDIR)/lib/owlapi-osgidistribution-3.5.2.jar \
7655e78c366cc0d25e24e2a96ba58e04a96042faAndreas Gustafsson 'https://bitbucket.org/trove4j/trove/downloads'\
f558da602e8b74ed181d9189f20bf32dfa6d8723Brian Wellington 'Per default $(BASEDIR)/lib/native' \
5419c0c2d0b77682021084c69f2a5c5e2f9a5525Andreas Gustafsson 'contains JNI libs for Linux and MacOSX only!'
ff4322d44f8404683b6fb6c86a38a2bc14f6c083Andreas Gustafsson# If one would add haddocs as well, add
ff4322d44f8404683b6fb6c86a38a2bc14f6c083Andreas Gustafsson# -m 0755 -d $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(DOC_DIR)/html/
ff4322d44f8404683b6fb6c86a38a2bc14f6c083Andreas Gustafsson# -m 0644 docs/* $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(DOC_DIR)/html/
8d146b6e1156f5b562af9a4a9aba76b09650412cAndreas Gustafsson $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-isa-tools \
8d146b6e1156f5b562af9a4a9aba76b09650412cAndreas Gustafsson $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-maude-lib \
808b909f27c30d36b27efb5aa5ef2d18f83b6d4bAndreas Gustafsson $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(DIST_LATEX)/hets \
808b909f27c30d36b27efb5aa5ef2d18f83b6d4bAndreas Gustafsson $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(DOC_DIR)
808b909f27c30d36b27efb5aa5ef2d18f83b6d4bAndreas Gustafsson $(INSTALL) -m 0644 magic/hets.magic utils/hetcasl.sty \
595a14576ea14884c35b3726f054f2065365620bMark Andrews $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)
595a14576ea14884c35b3726f054f2065365620bMark Andrews $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-isa-tools/
640923da589bc5b8492ac407ef89ea1ee9a1c358Andreas Gustafsson $(INSTALL) -m 0644 Isabelle/export/export_helper.ml \
d9e690eb71bde3c748208733ba40a34e9d0ba29dAndreas Gustafsson $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-isa-tools/
d9e690eb71bde3c748208733ba40a34e9d0ba29dAndreas Gustafsson $(INSTALL) -m 0644 Maude/hets.prj Maude/*maude \
1299e93989afbe1fee0739811b05fd1641ea14aeAndreas Gustafsson $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-maude-lib/
640923da589bc5b8492ac407ef89ea1ee9a1c358Andreas Gustafsson $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(DOC_DIR)/
640923da589bc5b8492ac407ef89ea1ee9a1c358Andreas Gustafsson BACK=`printf '$(DIST_LATEX)/hets' | ${SED} -e 's/[^/]\{1,\}/../g'` ; \
640923da589bc5b8492ac407ef89ea1ee9a1c358Andreas Gustafsson ln -sf $${BACK}/$(HETS_DIR)/hetcasl.sty \
640923da589bc5b8492ac407ef89ea1ee9a1c358Andreas Gustafsson $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(DIST_LATEX)/hets/hetcasl.sty
1299e93989afbe1fee0739811b05fd1641ea14aeAndreas Gustafsson $(info $(EOL)If TeX is installed, remember to re-run texhash!$(EOL)$(EOL))
01446841be2b73f9a2ead74056df2d5342414041Andreas Gustafsson# for now install-{common,hets,hets_server} are supported, only.
28cf7340b9c82fc62ca1a1782cb1bd7b0de11aebAndreas Gustafsson $(DESTDIR)$(SUBDIR_$*)$(PREFIX)/$(HETS_DIR) \
28cf7340b9c82fc62ca1a1782cb1bd7b0de11aebAndreas Gustafsson $(DESTDIR)$(SUBDIR_$*)$(PREFIX)/$(MAN_DIR)
28cf7340b9c82fc62ca1a1782cb1bd7b0de11aebAndreas Gustafsson $(SED) -e "s,@CLIENT_BASEDIR@,$(PREFIX)," debian/hets_script \
1de63e34f163b7a4708a6ad1779f93ae7636b92eAndreas Gustafsson >$(DESTDIR)$(SUBDIR_$*)$(PREFIX)/bin/$(subst _,-,$*)
1de63e34f163b7a4708a6ad1779f93ae7636b92eAndreas Gustafsson chmod 0755 $(DESTDIR)$(SUBDIR_$*)$(PREFIX)/bin/$(subst _,-,$*)
feb1f6a4ac42988558ecb8dc5dc0c974ec1f0509Brian Wellington ln $< $(DESTDIR)$(SUBDIR_$*)$(PREFIX)/$(HETS_DIR)/$(subst _,-,$*) 2>/dev/null || \
feb1f6a4ac42988558ecb8dc5dc0c974ec1f0509Brian Wellington cp $< $(DESTDIR)$(SUBDIR_$*)$(PREFIX)/$(HETS_DIR)/$(subst _,-,$*)
ea34bcc6376555296a08e4c9e2f9c2cbe58378a9Andreas Gustafsson [ $* = 'hets' ] && RMSECT='SERVER' || RMSECT='DESKTOP' ; \
ea34bcc6376555296a08e4c9e2f9c2cbe58378a9Andreas Gustafsson $(SED) -e "/@S$${RMSECT}@/,/@E$${RMSECT}@/ d" debian/hets.1 \
d1a6976967d6cfd93f5a8d80878215691ac8fe74Mark Andrews >$(DESTDIR)$(SUBDIR_$*)$(PREFIX)/$(MAN_DIR)/$(subst _,-,$*).1
5e4c83cfec3f267ea8f22fbb535c61434c94d43cDanny Mayer [ "$(OSNAME)" = 'SunOS' ] || ${SED} -i -e '/@SSOLARIS@/,/@ESOLARIS@/ d' \
06f12c290c7904f0723094b5cbd11e2a1d49e95eAndreas Gustafsson $(DESTDIR)$(SUBDIR_$*)$(PREFIX)/$(MAN_DIR)/$(subst _,-,$*).1
5e4c83cfec3f267ea8f22fbb535c61434c94d43cDanny Mayerinstall: install-hets install-hets_server install-common install-owl-tools
1299e93989afbe1fee0739811b05fd1641ea14aeAndreas Gustafsson############################################################################
e6f17474cb43a138bf7fc9ad30c6b3a2847cb7a7Mark Andrews# DEBIAN rules
5fe21da364d4397c9a413fe689ce82dea36a7b29Mark Andrews############################################################################
5c831a1a1b14470037de6d8bc0501aea5dc6cacdAndreas Gustafsson# For PPA source packages we submit a platform specific changelog via
36e37042c6c9252cdf6eb99bd71ccb6e6c43ba6dBrian Wellington# *.debian.tar.xz, for local packages we generate it on demand.
98e231525fda817d393ef0c529b50bfc08cebe47Mark AndrewsCHANGELOG := $(shell [ -f debian/changelog ] && \
98e231525fda817d393ef0c529b50bfc08cebe47Mark Andrews printf 'debian/changelog' || printf 'debian/changelog.tmp')
d4196128b31d511c8513edacc70dea7e8d0c053aMark Andrews# See Versioning in ./README
d4196128b31d511c8513edacc70dea7e8d0c053aMark Andrews# NOTE: The dash crap sucks again here! So we assume only the 2nd rev num
d4196128b31d511c8513edacc70dea7e8d0c053aMark Andrews# might be padded with a single '0' to avoid more clutter.
4a20a92f4f96cf2b2fd77898c6afec6c45e481b3Andreas Gustafsson @SRCPKG=`grep ^Source: debian/control |awk '{ print $$2 ; }'` ; \
4a20a92f4f96cf2b2fd77898c6afec6c45e481b3Andreas Gustafsson if [ -z "${FULL_DEBVERS}" ]; then \
4a20a92f4f96cf2b2fd77898c6afec6c45e481b3Andreas Gustafsson LSB=`lsb_release -rs`; A="$${LSB%.*}"; B="$${LSB#*.}"; B="$${B##0}"; \
4a20a92f4f96cf2b2fd77898c6afec6c45e481b3Andreas Gustafsson FULL_DEBVERS="$(HETS_VERSION).1-1.$${A}.$${B}.1" ; \
4a20a92f4f96cf2b2fd77898c6afec6c45e481b3Andreas Gustafsson printf "\nUsing '$${FULL_DEBVERS}' as new version.\n\n" ; \
e60b3717f0e6f28d6fb2c5124ffb3bd31cc3a746Mark Andrews [ -z "$${REL_NAME}" ] && REL_NAME=`lsb_release -cs` ; \
e60b3717f0e6f28d6fb2c5124ffb3bd31cc3a746Mark Andrews [ -z "$${GPG_NAME}" ] && GPG_NAME='Foo Bar' ; \
0262406cea5802a717539247cbaa596ac808efa9Mark Andrews [ -z "$${GPG_EMAIL}" ] && GPG_EMAIL='foo.bar@do.main' ; \
3d8ab44d14f3de797b8454fc2edb7421a6bfc874Andreas Gustafsson printf "%s (%s) %s; urgency=low\n\n %s\n\n -- %s <%s> %s\n" "$${SRCPKG}" \
3d8ab44d14f3de797b8454fc2edb7421a6bfc874Andreas Gustafsson "$${FULL_DEBVERS}" "$${REL_NAME}" \
3d8ab44d14f3de797b8454fc2edb7421a6bfc874Andreas Gustafsson "* Initial release, automatically generated." \
3426f7118c92cab8714a7fddc9e721ff09554447Andreas Gustafsson "$${GPG_NAME}" "$${GPG_EMAIL}" "`date -R`" \
3426f7118c92cab8714a7fddc9e721ff09554447Andreas Gustafsson# NOTE: dpkg-gencontrol is not POSIX conform wrt. arg processing!
3426f7118c92cab8714a7fddc9e721ff09554447Andreas Gustafssonbinary-indep: build-indep install-common $(CHANGELOG)
64a5004a66accd190bfd5ddf115667726537be50Andreas Gustafsson -@[ "$${USERNAME}" != 'root' -o -z "$${FAKEROOTKEY}" ] && \
64a5004a66accd190bfd5ddf115667726537be50Andreas Gustafsson printf '\nWARNING: The $< target should be called using fakeroot!\n\n'
64a5004a66accd190bfd5ddf115667726537be50Andreas Gustafsson $(INSTALL) -m 0755 -d $(DESTDIR)$(SUBDIR_common)/DEBIAN
64a5004a66accd190bfd5ddf115667726537be50Andreas Gustafsson dpkg-gencontrol -P$(DESTDIR)$(SUBDIR_common) -phets-common \
b1ae7a591a4b99a26036e919b87247b65abfcd77Mark Andrews dpkg-deb -Z xz -b $(DESTDIR)$(SUBDIR_common) ../hets-A.deb
b1ae7a591a4b99a26036e919b87247b65abfcd77Mark Andrewsbinary-arch: build-arch install-hets install-hets_server $(CHANGELOG)
6dbc6fae496db1f584c055e63bcd7afd332fe8f6Andreas Gustafsson -@[ "$${USERNAME}" != 'root' -o -z "$${FAKEROOTKEY}" ] && \
cab0ee644db604d56b45ec39429d505d635da347Andreas Gustafsson printf '\nWARNING: The $< target should be called using fakeroot!\n\n'
7780a3e5a4659bb8fc44f8915d20a8d3ffa33e00Andreas Gustafsson dpkg-gencontrol -P$(DESTDIR)$(SUBDIR_hets) -phets-desktop \
7780a3e5a4659bb8fc44f8915d20a8d3ffa33e00Andreas Gustafsson dpkg-deb -Z xz -b $(DESTDIR)$(SUBDIR_hets) ../hets-B.deb
6dbc6fae496db1f584c055e63bcd7afd332fe8f6Andreas Gustafsson dpkg-gencontrol -P$(DESTDIR)$(SUBDIR_hets_server) -phets-server \
6dbc6fae496db1f584c055e63bcd7afd332fe8f6Andreas Gustafsson dpkg-deb -Z xz -b $(DESTDIR)$(SUBDIR_hets_server) ../hets-C.deb
a24d253a3f4e6f4036800744b348fba858d4959eMark Andrews# Make sure debian/changelog exists, since dpkg-buildpackage runs finally a
a24d253a3f4e6f4036800744b348fba858d4959eMark Andrews# "dpkg-genchanges -b -m'...' >../${fullPkgName}.changes"
3f543c371fff724d1fb05eb564f732476e946b5bBrian Wellington @[ -f debian/changelog ] || ln -s changelog.tmp debian/changelog
3f543c371fff724d1fb05eb564f732476e946b5bBrian Wellington# vim: ts=4 sw=4 filetype=make