git.iko.soy/Idris-dev
on master help sign in
Remove Cabal library dependency and add more upper bounds
3725081bmsherman
idris.cabal+8−9
compare with master
unifiedsplit
@@ -668,7 +668,6 @@ Library
668 , Version_idris
668 , Version_idris
669
669
670 Build-depends: base >=4 && <5
670 Build-depends: base >=4 && <5
671− , Cabal < 1.21
672 , annotated-wl-pprint >= 0.5.3 && < 0.6
671 , annotated-wl-pprint >= 0.5.3 && < 0.6
673 , ansi-terminal < 0.7
672 , ansi-terminal < 0.7
674 , ansi-wl-pprint < 0.7
673 , ansi-wl-pprint < 0.7
@@ -716,19 +715,19 @@ Library
716
715
717 if os(linux)
716 if os(linux)
718 cpp-options: -DLINUX
717 cpp-options: -DLINUX
719− build-depends: unix
718+ build-depends: unix < 2.8
720 if os(freebsd)
719 if os(freebsd)
721 cpp-options: -DFREEBSD
720 cpp-options: -DFREEBSD
722− build-depends: unix
721+ build-depends: unix < 2.8
723 if os(dragonfly)
722 if os(dragonfly)
724 cpp-options: -DDRAGONFLY
723 cpp-options: -DDRAGONFLY
725− build-depends: unix
724+ build-depends: unix < 2.8
726 if os(darwin)
725 if os(darwin)
727 cpp-options: -DMACOSX
726 cpp-options: -DMACOSX
728− build-depends: unix
727+ build-depends: unix < 2.8
729 if os(windows)
728 if os(windows)
730 cpp-options: -DWINDOWS
729 cpp-options: -DWINDOWS
731− build-depends: Win32
730+ build-depends: Win32 < 2.4
732 if flag(LLVM)
731 if flag(LLVM)
733 other-modules: IRTS.CodegenLLVM
732 other-modules: IRTS.CodegenLLVM
734 cpp-options: -DIDRIS_LLVM
733 cpp-options: -DIDRIS_LLVM
@@ -737,13 +736,13 @@ Library
737 else
736 else
738 other-modules: Util.LLVMStubs
737 other-modules: Util.LLVMStubs
739 if flag(FFI)
738 if flag(FFI)
740− build-depends: libffi
739+ build-depends: libffi < 0.2
741 cpp-options: -DIDRIS_FFI
740 cpp-options: -DIDRIS_FFI
742 if flag(GMP)
741 if flag(GMP)
743− build-depends: libffi
742+ build-depends: libffi < 0.2
744 cpp-options: -DIDRIS_GMP
743 cpp-options: -DIDRIS_GMP
745 if flag(curses)
744 if flag(curses)
746− build-depends: hscurses
745+ build-depends: hscurses < 1.5
747 cpp-options: -DCURSES
746 cpp-options: -DCURSES
748 if flag(freestanding)
747 if flag(freestanding)
749 other-modules: Target_idris
748 other-modules: Target_idris
src/Util/System.hs−1
@@ -2,7 +2,6 @@ module Util.System(tempfile,withTempdir,rmFile,catchIO) where
2
2
3-- System helper functions.
3-- System helper functions.
4import Control.Monad (when)
4import Control.Monad (when)
5−import Distribution.Text (display)
6import System.Directory (getTemporaryDirectory
5import System.Directory (getTemporaryDirectory
7 , removeFile
6 , removeFile
8 , removeDirectoryRecursive
7 , removeDirectoryRecursive