diff options
Diffstat (limited to 'src-3.0/Makefile')
| -rw-r--r-- | src-3.0/Makefile | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/src-3.0/Makefile b/src-3.0/Makefile index e668006bc..25034bac7 100644 --- a/src-3.0/Makefile +++ b/src-3.0/Makefile @@ -139,13 +139,11 @@ ghci-nofud: $(GHCI) $(GHCFLAGS) today: - 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 'module Paths_gf (version, getDataDir) where' > Paths_gf.hs + echo 'import Data.Version' >> Paths_gf.hs echo '{-# NOINLINE version #-}' >> Paths_gf.hs - echo 'version :: String' >> GF/Today.hs - echo 'version = "'$(PACKAGE_VERSION)'"' >> Paths_gf.hs + echo 'version :: Version' >> Paths_gf.hs + echo 'version = Version {versionBranch = [3,0], versionTags = ["alpha"]}' >> Paths_gf.hs echo '{-# NOINLINE libdir #-}' >> Paths_gf.hs echo 'libdir :: String' >> Paths_gf.hs echo 'libdir = "'$(GF_LIB_DIR)'"' >> Paths_gf.hs |