git.iko.soy/Idris-dev
on master help sign in
Add custom-setup
65c1e9bRyan Scott
Setup.hs+4
compare with master
unifiedsplit
@@ -1,5 +1,9 @@
1{-# LANGUAGE CPP #-}
1{-# LANGUAGE CPP #-}
2
2
3+#if !defined(MIN_VERSION_Cabal)
4+# define MIN_VERSION_Cabal(x,y,z) 0
5+#endif
6+
3import Control.Monad
7import Control.Monad
4import Data.IORef
8import Data.IORef
5import Control.Exception (SomeException, catch)
9import Control.Exception (SomeException, catch)
idris.cabal+8
@@ -97,6 +97,14 @@ source-repository head
97 type: git
97 type: git
98 location: git://github.com/idris-lang/Idris-dev.git
98 location: git://github.com/idris-lang/Idris-dev.git
99
99
100+custom-setup
101+ setup-depends:
102+ Cabal >= 1.10 && <2.1,
103+ base >= 4 && <5,
104+ directory,
105+ filepath,
106+ process
107+
100Flag FFI
108Flag FFI
101 Description: Build support for libffi
109 Description: Build support for libffi
102 Default: False
110 Default: False