diff options
| -rw-r--r-- | src-3.0/Makefile | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/src-3.0/Makefile b/src-3.0/Makefile index 66e709e18..e668006bc 100644 --- a/src-3.0/Makefile +++ b/src-3.0/Makefile @@ -139,16 +139,17 @@ ghci-nofud: $(GHCI) $(GHCFLAGS) today: - echo 'module GF.Today (today,version,libdir) where' > GF/Today.hs - echo '{-# NOINLINE today #-}' >> GF/Today.hs - echo 'today :: String' >> GF/Today.hs - echo 'today = "'`date`'"' >> GF/Today.hs - echo '{-# NOINLINE version #-}' >> GF/Today.hs + echo 'module Paths_gf (getDataDir) where' > Paths_gf.hs + echo '{-# NOINLINE today #-}' >> Paths_gf.hs + echo 'today :: String' >> Paths_gf.hs + echo 'today = "'`date`'"' >> Paths_gf.hs + echo '{-# NOINLINE version #-}' >> Paths_gf.hs echo 'version :: String' >> GF/Today.hs - echo 'version = "'$(PACKAGE_VERSION)'"' >> GF/Today.hs - echo '{-# NOINLINE libdir #-}' >> GF/Today.hs - echo 'libdir :: String' >> GF/Today.hs - echo 'libdir = "'$(GF_LIB_DIR)'"' >> GF/Today.hs + echo 'version = "'$(PACKAGE_VERSION)'"' >> Paths_gf.hs + echo '{-# NOINLINE libdir #-}' >> Paths_gf.hs + echo 'libdir :: String' >> Paths_gf.hs + echo 'libdir = "'$(GF_LIB_DIR)'"' >> Paths_gf.hs + echo 'getDataDir = return libdir :: IO FilePath' >> Paths_gf.hs javac: $(JAVAC) $(JAVAFLAGS) -classpath $(GFEDITOR)/jargs-1.0.jar $(GFEDITOR)/de/uka/ilkd/key/ocl/gf/*.java |