idrisPackages.idris: 1.0 -> 1.1.1

2017-08-23 06:45:32 -05:00
parent ca381067e7
commit b438d394ce
4 changed files with 32 additions and 9 deletions
@@ -13,8 +13,11 @@ build-idris-package {
  inherit (idris) src;

  postUnpack = ''
-    mv $sourceRoot/libs/${name} $IDRIS_LIBRARY_PATH
-    sourceRoot=$IDRIS_LIBRARY_PATH/${name}
+    sourceRoot=$sourceRoot/libs/${name}
+  '';
+
+  postPatch = ''
+    sed -i ${name}.ipkg -e "/^opts/ s|-i \\.\\./|-i $IDRIS_LIBRARY_PATH/|g"
  '';

  meta = idris.meta // {