Makefile revision 51d769d55d88dfa88bdf54bee78d8fa85a2deba8
3952N/A# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2005 3952N/A# This Makefile will compile the new hets system and provides also 3952N/A# targets for test programs during implementation phases. 3952N/A# !!! Note: This makefile is written for GNU make !!! 3952N/A#################################################################### 3952N/A## Some varibles, which control the compilation 3952N/A# the 'replacing spaces' example was taken from the (GNU) Make info manual 3952N/A# override on commandline for other architectures 5185N/A# remove -fno-warn-orphans for older ghcs and add -ifgl 5185N/A# uncomment to above line to generate .imports files for displayDependencyGraph 5185N/A# some modules from uni for haddock 3952N/A### list of directories to run checks in 3952N/A echo "of programatica package found";
else \
5185N/A echo "{-# OPTIONS -w #-}" > $@
3952N/A## rule for appendHaskellPreludeString 5185N/A#Ti_Haskell_files = TiTypes TiKinds TiDecorate TiInstanceDB 5185N/A### Profiling (only for debugging) 3952N/A### Attention every module must be compiled with profiling or the linker 3952N/A### cannot link the various .o files properly. So after switching on 5185N/A### Profiling, do an 'gmake real_clean; gmake' 4115N/A### Comment in the following line for switching on profiling. 5185N/A# HC_PROF = -prof -auto-all -osuf p_o +RTS -K100m -RTS 5185N/A#################################################################### 3952N/A# sources that have {-# OPTIONS -cpp #-} 5185N/A# unused, remove when header files are gone 5185N/A# this variable holds the modules that should be documented 3952N/A#################################################################### 5185N/A echo "of HTTP package found";
else \
5185N/A echo "of syb-generics package found";
else \
5185N/A echo "of Shellac package found";
else \
4495N/A echo "of Shellac-readline package found";
else \
3952N/A echo "of Shellac-compatline package found";
else \
5185N/A echo "of hxt package found";
else \
5185N/A echo "of HAIFA package found";
else \
5185N/A @
echo 'File : Maintainer' > $@
5185N/A############################### 5185N/A############################### 5185N/A### Documentation via haddock 5185N/A# generate haddock documentation with links to sources 5185N/A -t
'Hets - the Heterogeneous Tool Set' \
3952N/A# sources are not copied here 5185N/A############################### 5185N/A# "-package hssource" for ghc-5.04.2 5185N/A ## TODO: add more dependencies and use hets-opt 3952N/A# compile $< -b . -k web -o $@ 5185N/A################################### 5185N/A @
echo "please copy the file manually to Common" 5185N/A############################# 5185N/A### ATC DrIFT-rule generation 5185N/A### removes all *.o, *.hi and *.p_o files in all subdirectories 5185N/A### additionally removes the library files 5185N/A### additionally removes generated files not in the CVS tree 3952N/A#################################################################### 3952N/A#################################################################### 5185N/A### Haskell to Isabelle-HOLCF translation 5185N/A### HasCASL to Haskell translation 3952N/A### test program to check the known provers 5185N/A### run tests in other directories 5185N/A#################################################################### ## Preparing the version of Hets ## two hardcoded dependencies for a correct generation of Version.hs ## two dependencies for avoidence of circular prerequisites #################################################################### echo "{-# OPTIONS -w #-}" > $@
## rules for inlineAxioms ## rule for cpp and haddock ## compiling rules for object and interface files ## compiling rules for dependencies ## generate the inline file for the predefined CASL_DL sign # Warning: Don't change the order of the depencies!!