git.iko.soy/Idris-dev
on master help sign in
Temporarily disable gitHash in version string
73e81f7Edwin Brady
idris.cabal+1−1
compare with master
unifiedsplit
@@ -409,7 +409,7 @@ Library
409
409
410 -- Auto Generated
410 -- Auto Generated
411 , Paths_idris
411 , Paths_idris
412− , Version_idris
412+-- , Version_idris
413
413
414 Build-depends: base >=4 && <5
414 Build-depends: base >=4 && <5
415 , Cabal
415 , Cabal
src/Idris/REPL.hs+3−1
@@ -26,7 +26,7 @@ import Idris.CaseSplit
26import Idris.DeepSeq
26import Idris.DeepSeq
27
27
28import Paths_idris
28import Paths_idris
29−import Version_idris (gitHash)
29+-- import Version_idris (gitHash)
30import Util.System
30import Util.System
31import Util.DynamicLinker
31import Util.DynamicLinker
32import Util.Net (listenOnLocalhost)
32import Util.Net (listenOnLocalhost)
@@ -1333,6 +1333,8 @@ getColour _ = Nothing
1333opt :: (Opt -> Maybe a) -> [Opt] -> [a]
1333opt :: (Opt -> Maybe a) -> [Opt] -> [a]
1334opt = mapMaybe
1334opt = mapMaybe
1335
1335
1336+gitHash = "" -- TMP until we work out how to deal with this in the .cabal
1337+
1336ver = showVersion version ++ gitHash
1338ver = showVersion version ++ gitHash
1337
1339
1338banner = " ____ __ _ \n" ++
1340banner = " ____ __ _ \n" ++