git.iko.soy/Idris-dev
on master help sign in
Temporarily disable gitHash in version string

Since it breaks cabal sdist. No time to investigate now, just want the CI builds to keep working!

commit73e81f77fc9a22daf69e2e43925b5cd1a1c43be4 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateSun 22 Dec 2013, 19:54 (13 years ago) parentef32bc6
2 files changed+4−2
compare with master
unifiedsplit
idris.cabal+1−1 src/Idris/REPL.hs+3−1
idris.cabal+1−1
@@ -409,7 +409,7 @@ Library
409409
410410 -- Auto Generated
411411 , Paths_idris
412− , Version_idris
412+-- , Version_idris
413413
414414 Build-depends: base >=4 && <5
415415 , Cabal
src/Idris/REPL.hs+3−1
@@ -26,7 +26,7 @@ import Idris.CaseSplit
2626import Idris.DeepSeq
2727
2828import Paths_idris
29−import Version_idris (gitHash)
29+-- import Version_idris (gitHash)
3030import Util.System
3131import Util.DynamicLinker
3232import Util.Net (listenOnLocalhost)
@@ -1333,6 +1333,8 @@ getColour _ = Nothing
13331333opt :: (Opt -> Maybe a) -> [Opt] -> [a]
13341334opt = mapMaybe
13351335
1336+gitHash = "" -- TMP until we work out how to deal with this in the .cabal
1337+
13361338ver = showVersion version ++ gitHash
13371339
13381340banner = " ____ __ _ \n" ++