Makefile revision 5f3de7ac8ea03d05ffa005d494faf628e7fa6c35
1494N/A# Author: (c) Klaus L�ttich, Christian Maeder, Uni Bremen 2002-2005 1494N/A# This Makefile will compile the new hets system and provides also 1494N/A# targets for test programs during implementation phases. 1494N/A# !!! Note: This makefile is written for GNU make !!! 1494N/A#################################################################### 1494N/A## Some varibles, which control the compilation 1494N/A# the 'replacing spaces' example was taken from the (GNU) Make info manual # override on commandline for other architectures ### list of directories to run checks in echo "of programatica package found";
else \
echo "{-# OPTIONS -w #-}" > $@
## rule for appendHaskellPreludeString #Ti_Haskell_files = TiTypes TiKinds TiDecorate TiInstanceDB ## rule for ATC generation # remove -fno-warn-orphans for older ghcs and add -ifgl # uncomment for profiling # HC_PROF = -prof -auto-all -osuf p_o +RTS -K100m -RTS # uncomment to above line to generate .imports files for displayDependencyGraph #################################################################### # sources that have {-# OPTIONS -cpp #-} # unused, remove when header files are gone # this variable holds the modules that should be documented #################################################################### echo "of syb-generics package found";
else \
echo "of HAIFA package found";
else \
@
echo 'File : Maintainer' > $@
sed -e
's/: *Maintainer *: */ : /' >> $@
############################### ############################### ### Documentation via haddock -t
'Hets - the Heterogeneous Tool Set' \
# generate haddock documentation with links to sources -printf "--read-interface=www/%P,%p "` ; \
$(PERL) -pe 's+/[^/]*.haddock,+,+g'` ; \
-t
'Hets - the Heterogeneous Tool Set' \
# sources are not copied here cvs up -d ;
echo "CVS exited with: " $$?
############################### # "-package hssource" for ghc-5.04.2 ## TODO: add more dependencies and use hets-opt # compile $< -b . -k web -o $@ ################################### @
echo "please copy the file manually to Common"############################# ### ATC DrIFT-rule generation ### removes all *.o, *.hi and *.p_o files in all subdirectories ### additionally removes the library files ### additionally removes generated files not in the CVS tree #################################################################### #################################################################### ### Haskell to Isabelle-HOLCF translation ### HasCASL to Haskell translation ### test program to check the known provers ### run tests in other directories #################################################################### ## 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 ## Rule to generate hs files from glade files. Needed for GTK ## generate the inline file for the predefined CASL_DL sign # Warning: Don't change the order of the depencies!!