Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Apply patch from upstream to fix idris 0.9.5.1 sandbox violations

  • Loading branch information...
commit ac83c195fbbec3a925329ea15ab51c90977d7599 1 parent 1d5b312
Mark Wright markwright authored
20 dev-lang/idris/files/idris-0.9.5.1-install.patch
View
@@ -0,0 +1,20 @@
+--- idris-0.9.5.1-orig/src/Pkg/Package.hs 2012-10-31 22:40:12.000000000 +1100
++++ idris-0.9.5.1/src/Pkg/Package.hs 2013-01-09 14:39:41.067622063 +1100
+@@ -4,6 +4,7 @@
+ import System.Directory
+ import System.Exit
+ import System.IO
++import System.Environment (lookupEnv)
+
+ import Util.System
+
+@@ -106,7 +107,8 @@
+
+ installIBC :: String -> Name -> IO ()
+ installIBC p m = do let f = toIBCFile m
+- d <- getDataDir
++ target <- lookupEnv "TARGET"
++ d <- maybe getDataDir return target
+ let destdir = d ++ "/" ++ p ++ "/" ++ getDest m
+ putStrLn $ "Installing " ++ f ++ " to " ++ destdir
+ system $ "mkdir -p " ++ destdir
4 dev-lang/idris/idris-0.9.5.1.ebuild
View
@@ -29,4 +29,6 @@ DEPEND="${RDEPEND}
dev-haskell/transformers
>=dev-lang/ghc-6.10.4"
-PATCHES=("${FILESDIR}"/${P}-locale.patch)
+# install patch is backported from: https://github.com/edwinb/Idris-dev/pull/104
+PATCHES=("${FILESDIR}"/${P}-locale.patch
+ "${FILESDIR}"/${P}-install.patch)
Please sign in to comment.
Something went wrong with that request. Please try again.