Cross Reference: /hets/Makefile

	Makefile revision 760ae19a92dde8249679a674f93f58d26a7c5f6b
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte# hetcats/Makefile
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte# $Header$
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2004
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte# Year:   2004
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte# This Makefile will compile the new hetcats system and provides also
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte# targets for test programs during implementation phases.
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte# !!! Note: This makefile is written for GNU make !!!
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte#           (gmake on solaris ; make on linux)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte####################################################################
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte## Some varibles, which control the compilation
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteINCLUDE_PATH = ghc:hetcats
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCOMMONLIB_PATH = Common/Lib:Common/Lib/Parsec:Common/ATerm
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteCLEAN_PATH = Common:Logic:CASL:Syntax:Static:GUI:HasCASL:Haskell:Modal:CspCASL:ATC:ToHaskell:Proofs:Comorphisms:Isabelle:$(INCLUDE_PATH):Haskell/Hatchet
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte## set ghc imports properly for your system
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteLINUX_IMPORTS = $(wildcard /home/linux-bkb/ghc/ghc-latest/lib/ghc-*/imports)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteDRIFT_ENV = DERIVEPATH='.:ghc:hetcats:${LINUX_IMPORTS}:${GHC_IMPORTS}'
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteDRIFT_deps = utils/DrIFT-src/*hs
30e7468f8f41aa30ada067b2c1d5d284046514daPeter DunlapGENERATERULES_deps = utils/GenerateRules/*hs $(DRIFT_deps)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHC         = ghc
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn FortePERL       = perl
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHAPPY      = happy
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteDRIFT      = $(DRIFT_ENV) utils/DrIFT
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHADDOCK    = haddock
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHC_FLAGS   = -Wall
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte# -fglasgow-exts comes in via  ../uni/uni-package.conf
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHC_INCLUDE = -i$(INCLUDE_PATH)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHC_PACKAGE = -package-conf ../uni/uni-package.conf  -package uni-davinci \
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte             -package uni-server
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte### Profiling and Warnings (only for debugging)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte### Attention every module must be compiled with profiling or the linker
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte### cannot link the various .o files properly. So after switching on
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte### Profiling, do an 'gmake clean; gmake'
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte### If you need Profiling comment out the following line
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte#HC_PROF    = -prof -auto-all
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHCI_OPTS    = $(HC_FLAGS) $(HC_PACKAGE) $(HC_INCLUDE)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteHC_OPTS     = $(HCI_OPTS) $(HC_PROF)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteDRIFT_OPTS  = +RTS -K10m -RTS
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte### list of directories to run checks in
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn ForteTESTDIRS    = Common CASL HasCASL
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte####################################################################
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte## sources for hetcats (semi - manually produced with a perl script)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),clean)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),bin_clean)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),d_clean)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),real_clean)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),distclean)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),genRules)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),utils/genRules)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),hets-opt)
0f1702c5201310f0529cd5abb77652e5e9b241b6Yu Xiangningifneq ($(MAKECMDGOALS),hets-optimized)
30e7468f8f41aa30ada067b2c1d5d284046514daPeter Dunlapifneq ($(MAKECMDGOALS),derivedSources)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),release)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),check)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),apache_doc)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),clean_genRules)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteifneq ($(MAKECMDGOALS),atctest2)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteinclude sources_hetcats.mk
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteendif
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forteobjects    = $(patsubst %.lhs,%.o,$(sources:%.hs=%.o))
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Fortedrifted_files = Syntax/AS_Architecture.hs Syntax/AS_Library.hs\
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte    Common/AS_Annotation.hs CASL/AS_Basic_CASL.hs Syntax/AS_Structured.hs \
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte    $(gendrifted_files)
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Forte
fcf3ce441efd61da9bb2884968af01cb7c1452ccJohn Fortegenrule_header_files = $(wildcard ATC/*.header.hs)

genrule_files = Common/Lib/Graph.hs Common/Id.hs Common/Result.hs \
                Common/AS_Annotation.der.hs \
                Syntax/AS_Structured.der.hs Syntax/AS_Architecture.der.hs \
                Common/GlobalAnnotations.hs Syntax/AS_Library.der.hs \
                CASL/Sublogic.hs \
                CASL/Morphism.hs CASL/Sign.hs CASL/AS_Basic_CASL.der.hs \
                HasCASL/As.hs HasCASL/Le.hs HasCASL/SymbItem.hs \
                HasCASL/Symbol.hs HasCASL/Morphism.hs \
                CspCASL/AS_CSP_CASL.hs \
                Static/DevGraph.hs \
                Haskell/Hatchet/AnnotatedHsSyn.hs \
                Haskell/Hatchet/MultiModuleBasics.hs \
                Haskell/Hatchet/HsSyn.hs \
                Haskell/Hatchet/Representation.hs\
                Haskell/Hatchet/Class.hs Haskell/Hatchet/KindInference.hs \
                Haskell/Hatchet/Env.hs \
                Isabelle/IsaSign.hs

gendrifted_files = ATC/Graph.hs ATC/Id.hs ATC/Result.hs ATC/AS_Annotation.hs \
                   ATC/AS_Library.hs ATC/GlobalAnnotations.hs \
                   ATC/AS_Structured.hs ATC/AS_Architecture.hs \
                   ATC/DevGraph.hs \
                   CASL/ATC_CASL.hs Haskell/ATC_Haskell.hs \
                   HasCASL/ATC_HasCASL.hs CspCASL/ATC_CspCASL.hs \
                   ATC/IsaSign.hs

generated_rule_files = $(patsubst %.hs,%.der.hs,$(gendrifted_files))

happy_files = Haskell/Hatchet/HsParser.hs

# this variable holds the modules that should be documented
# the imported parsec library is not included!
doc_sources = $(filter-out ./Isabelle/IsaSign.hs ,$(sources))

####################################################################
### targets

.PHONY : clean d_clean real_clean bin_clean check hetana hetpa hetdg \
         clean_genRules genRules

.SECONDARY : %.hs %.d $(generated_rule_files)
#.PRECIOUS: sources_hetcats.mk

all: hets

hets: $(sources)
    $(HC) --make -o $@ hets.hs $(HC_OPTS) 2>&1 | tee hetcats-make

hets-opt: hetcats/Version.hs
    $(MAKE) distclean
    $(MAKE) derivedSources
    $(MAKE) hets-optimized

hets-optimized:
    $(HC) --make -O -o hets hets.hs $(HC_OPTS) 2>&1 | tee hetcats-make
    strip hets

hets-old: $(objects)
    $(RM) $@
    $(HC) -o hets $(HC_OPTS) $(objects)

hetcats-make: hets.hs utils/create_sources.pl $(drifted_files) $(happy_files)
    $(RM) hetcats-make sources_hetcats.mk
    $(HC) --make -o hets $< $(HC_OPTS) 2>&1 | tee hetcats-make

###############################
### TAGS files for (x)emacs
# load them with "M-x" "visit-tags-table" from
# "HetCATS/hetcats/hetcats.TAGS"
# use "M-." to search for a tag
# !!Beware this is somewhat instable, because it uses an absolute path!!
hetcats.TAGS: $(sources)
    /home/ger/linux/ghc-5.04.2/bin/i386-unknown-linux/hasktags \
      $(sources); mv TAGS $@; mv tags hetcats.tags

###############################
### Documentation via haddock
doc: docs/index.html

# index for prelude is missing
docs/index.html: $(doc_sources)
    $(HADDOCK) $(doc_sources) -o docs -h \
          -i docs/base.haddock \
          -t 'hets -- a heterogenous Specification (CASL) tool set'

apache_doc:
    $(RM) docs/*.*
    $(MAKE) distclean
    cvs up -d
    $(MAKE) hetcats-make
    strip hets
    $(MAKE) doc
    $(MAKE) post_doc4apache

post_doc4apache:
    $(PERL) utils/post_process_docs.pl docs \
            'Common.Lib.Map.html:Common.Lib._Map.html'
    cp docs/*.* a-docs/
    $(RM) docs/index.html

###############################
### release management

derivedSources: $(drifted_files) $(happy_files) hetcats/Version.hs

utils/DrIFT: $(DRIFT_deps)
    (cd utils/DrIFT-src; $(HC) --make DrIFT.hs -o ../DrIFT && \
           strip ../DrIFT)

utils/genRules: $(GENERATERULES_deps)
    (cd utils/GenerateRules; \
         $(HC) --make '-i../..:../DrIFT-src' -package text GenerateRules.hs -o ../genRules && \
         strip ../genRules)

release:
    $(RM) -r HetCATS
    cvs -d :pserver:cvsread@cvs-agbkb.informatik.uni-bremen.de:/repository co HetCATS
    $(RM) -r uni
    ln -s ../uni uni
    (cd HetCATS; $(MAKE) derivedSources; ./clean.sh; \
           find . -name CVS -o -name \*.o -o -name \*.hi | xargs $(RM) -r; \
           $(RM) clean.*; $(RM) Makefile; mv ReleaseMakefile Makefile)
    tar cvf HetCATS.tar HetCATS

#############################
### ATC DrIFT-rule generation

genRules: $(generated_rule_files) utils/genRules

$(generated_rule_files): $(genrule_files) utils/genRules #$(genrule_header_files)
    $(MAKE) clean_genRules
    $(foreach file,$(atc_files),$(gen_atc_files))
    utils/genRules -r $(rule) -o CASL    -h ATC/CASL.header.hs \
            $(casl_files)
    utils/genRules -r $(rule) -o HasCASL -h ATC/HasCASL.header.hs \
            $(hascasl_files)
    utils/genRules -r $(rule) -o CspCASL -h ATC/CspCASL.header.hs \
            $(cspcasl_files)
    utils/genRules -r $(rule) -o Haskell -h ATC/Haskell.header.hs \
            $(haskell_files)

rule = ShATermConvertible

gen_atc_files = if [ -f ATC/$(basename $(basename $(notdir $(file)))).header.hs ]; then \
                   utils/genRules -r $(rule) -o ATC -h ATC/$(basename $(basename $(notdir $(file)))).header.hs $(file); \
                else \
                   utils/genRules -r $(rule) -o ATC $(file); \
                fi ;

atc_files := $(filter-out CASL/% HasCASL/% CspCASL/% Haskell/% ,$(genrule_files))
casl_files := $(filter CASL/% ,$(genrule_files))
hascasl_files := $(filter HasCASL/% ,$(genrule_files))
cspcasl_files := $(filter CspCASL/% ,$(genrule_files))
haskell_files := $(filter Haskell/%,$(genrule_files))

clean_genRules:
    $(RM) $(generated_rule_files)

###############
### clean up

### removes *.hi and *.o in all include directories
clean: bin_clean
    for p in $(subst :, ,$(CLEAN_PATH)) . ; do \
    (cd $$p ; $(RM) *.hi *.o) ; done

### remove binaries
bin_clean:
    $(RM) hets
    $(RM) test_parser
    $(RM) CASL/capa
    $(RM) HasCASL/hacapa
    $(RM) Haskell/hapa
    $(RM) Haskell/wrap
    $(RM) Syntax/hetpa
    $(RM) Static/hetana
    $(RM) Static/hetana
    $(RM) GUI/hetdg
    $(RM) hetpa
    $(RM) hetana
    $(RM) hetdg

### additonally removes *.d (dependency files) in every include directory
### also delete *.d.bak (dependency file backups)
d_clean: clean
    for p in $(subst :, ,$(CLEAN_PATH)) . ; do \
    (cd $$p ; $(RM) *.d *.d.bak) ; done

### remove files also in own libraries
lib_clean: clean
    for p in $(subst :, ,$(COMMONLIB_PATH)) . ; do \
    (cd $$p ; $(RM) *.hi *.d *.o) ; done

### additionally removes the files that define the sources-variable
real_clean: bin_clean lib_clean
    $(RM) hetcats-make sources_hetcats.mk

### additionally removes files not in CVS tree
distclean: real_clean clean_genRules d_clean
    $(RM) hetcats/Version.hs
    $(RM) $(drifted_files)
#   $(RM) $(happy_files)

####################################################################
### test targets
####################################################################

### a parser to test annotation parser and Id parsers
test_parser: Common/test_parser

Common/test_parser: Common/test_parser.hs Common/AS_Annotation.der.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

### interactive
ghci:
    $(HC)i $(HCI_OPTS)

### christian's target
### CASL parser
capa: CASL/capa

CASL/capa: CASL/capa.hs Common/*.hs CASL/*.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

### HasCASL parser
hacapa: HasCASL/hacapa

HasCASL/hacapa: HasCASL/hacapa.hs Common/*.hs HasCASL/*.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

### Haskell parser
hapa: Haskell/hapa

Haskell/hapa: Haskell/hapa.hs Haskell/Hatchet/*.hs $(happy_files)
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

### HetCASL parser
hetpa: Syntax/hetpa.hs Syntax/*.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

### HetCASL parser
hetana: Static/hetana.hs Static/*.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

### ATC test system
atctest: ATC/ATCTest.hs ATC/*.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

atctest2: ATC/ATCTest2.hs Common/SimpPretty.hs Common/ATerm/*.hs Common/Lib/*.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

### ATerm.Lib test system
atermlibtest: Common/ATerm/ATermLibTest.hs Common/ATerm/*.hs Common/SimpPretty.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)

### HetCASL with dev graph
hetdg: GUI/hetdg.hs $(drifted_files) *.hs
    $(RM) $@
    $(HC) --make -o $@ $< $(HC_OPTS)  -package-conf ../uni/uni-package.conf  -package uni-davinci -package uni-server


### run tests in other directories
check: hetcats
    for i in $(TESTDIRS); do $(MAKE) -C $$i check; done

####################################################################
## Preparing the version of HetCATS
hetcats/Version.hs: hetcats/Version.in version_nr
    $(PERL) utils/build_version.pl version_nr < hetcats/Version.in > $@

## two hardcoded dependencies for a correct generation of Version.hs
hetcats/Options.hs hetcats/WriteFn.hs hetcats/ReadFn.hs: hetcats/Version.hs
hets.hs: hetcats/Version.hs
####################################################################
## rules for DrIFT

%.hs: %.ly
    $(HAPPY) $<

%.hs: %.der.hs utils/DrIFT
    $(DRIFT) $(DRIFT_OPTS) $< > $@

## compiling rules for object and interface files
%.o %.hi: %.hs
    $(HC) -c $< $(HC_OPTS)

%.o %.hi: %.lhs
    $(HC) -c $< $(HC_OPTS)

## compiling rules for dependencies
%.d : %.hs
    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@

%.d : %.lhs
    $(HC) -M $< $(HC_OPTS) -optdep-f -optdep$@

####################################################################
## Setting a global search path (for dependency files)

ifneq ($(MAKECMDGOALS),clean)
ifneq ($(MAKECMDGOALS),real_clean)
ifneq ($(MAKECMDGOALS),d_clean)
ifneq ($(MAKECMDGOALS),real_clean)
ifneq ($(MAKECMDGOALS),distclean)
ifneq ($(MAKECMDGOALS),genRules)
ifneq ($(MAKECMDGOALS),utils/genRules)
ifneq ($(MAKECMDGOALS),derivedSources)
ifneq ($(MAKECMDGOALS),release)
ifneq ($(MAKECMDGOALS),clean_genRules)
ifeq  ($(MAKECMDGOALS),hets-old)
## include every .d file in INCLUDE_PATH
-include $(objects:.o=.d)
endif

sources_hetcats.mk: hetcats-make hetcats/Version.hs hets.hs utils/create_sources.pl $(drifted_files) $(happy_files)
    $(PERL) utils/create_sources.pl hetcats-make sources_hetcats.mk
endif
endif
endif
endif
endif
endif
endif
endif
endif
endif