git.iko.soy/Idris-dev
on master help sign in
Add custom-setup
commit65c1e9bfd3fae58eebb77d1e9c48b6bfa06460f7 authorRyan Scott <ryan.gl.scott@gmail.com> dateThu 3 Aug 2017, 17:32 (9 years ago) parent9f8888a
2 files changed+12
compare with master
unifiedsplit
Setup.hs+4 idris.cabal+8
Setup.hs+4
@@ -1,5 +1,9 @@
11{-# LANGUAGE CPP #-}
22
3+#if !defined(MIN_VERSION_Cabal)
4+# define MIN_VERSION_Cabal(x,y,z) 0
5+#endif
6+
37import Control.Monad
48import Data.IORef
59import Control.Exception (SomeException, catch)
idris.cabal+8
@@ -97,6 +97,14 @@ source-repository head
9797 type: git
9898 location: git://github.com/idris-lang/Idris-dev.git
9999
100+custom-setup
101+ setup-depends:
102+ Cabal >= 1.10 && <2.1,
103+ base >= 4 && <5,
104+ directory,
105+ filepath,
106+ process
107+
100108Flag FFI
101109 Description: Build support for libffi
102110 Default: False