git.iko.soy/Idris-dev
on master help sign in
Remove Cabal library dependency and add more upper bounds
commit37250810a4d4cfeeb1d66ab9840909d99243e86b authorbmsherman <bmsherman@users.noreply.github.com> dateTue 16 Sep 2014, 22:34 (12 years ago) parent0d2a187
2 files changed+8−10
compare with master
unifiedsplit
idris.cabal+8−9 src/Util/System.hs−1
idris.cabal+8−9
@@ -668,7 +668,6 @@ Library
668668 , Version_idris
669669
670670 Build-depends: base >=4 && <5
671− , Cabal < 1.21
672671 , annotated-wl-pprint >= 0.5.3 && < 0.6
673672 , ansi-terminal < 0.7
674673 , ansi-wl-pprint < 0.7
@@ -716,19 +715,19 @@ Library
716715
717716 if os(linux)
718717 cpp-options: -DLINUX
719− build-depends: unix
718+ build-depends: unix < 2.8
720719 if os(freebsd)
721720 cpp-options: -DFREEBSD
722− build-depends: unix
721+ build-depends: unix < 2.8
723722 if os(dragonfly)
724723 cpp-options: -DDRAGONFLY
725− build-depends: unix
724+ build-depends: unix < 2.8
726725 if os(darwin)
727726 cpp-options: -DMACOSX
728− build-depends: unix
727+ build-depends: unix < 2.8
729728 if os(windows)
730729 cpp-options: -DWINDOWS
731− build-depends: Win32
730+ build-depends: Win32 < 2.4
732731 if flag(LLVM)
733732 other-modules: IRTS.CodegenLLVM
734733 cpp-options: -DIDRIS_LLVM
@@ -737,13 +736,13 @@ Library
737736 else
738737 other-modules: Util.LLVMStubs
739738 if flag(FFI)
740− build-depends: libffi
739+ build-depends: libffi < 0.2
741740 cpp-options: -DIDRIS_FFI
742741 if flag(GMP)
743− build-depends: libffi
742+ build-depends: libffi < 0.2
744743 cpp-options: -DIDRIS_GMP
745744 if flag(curses)
746− build-depends: hscurses
745+ build-depends: hscurses < 1.5
747746 cpp-options: -DCURSES
748747 if flag(freestanding)
749748 other-modules: Target_idris
src/Util/System.hs−1
@@ -2,7 +2,6 @@ module Util.System(tempfile,withTempdir,rmFile,catchIO) where
22
33-- System helper functions.
44import Control.Monad (when)
5−import Distribution.Text (display)
65import System.Directory (getTemporaryDirectory
76 , removeFile
87 , removeDirectoryRecursive