Manual setup

packages.dhall

For example, we could patch typelevel-prelude locally in such a way in a project-local packages.dhall file:

    let mkPackage =
          https://raw.githubusercontent.com/spacchetti/spacchetti/190618/src/mkPackage.dhall

in  let overrides =
          { typelevel-prelude =
              mkPackage
              [ "proxy", "prelude", "type-equality" ]
              "https://github.com/justinwoo/purescript-typelevel-prelude.git"
              "prim-boolean"
          }

in    https://raw.githubusercontent.com/spacchetti/spacchetti/190618/src/packages.dhall
    ⫽ overrides

psc-package.json

Then we need a psc-package.json file, but we will stub the package set information:

{
  "name": "my-project",
  "set": "local",
  "source": "",
  "depends": [
    "console",
    "effect",
    "prelude",
    "typelevel-prelude"
  ]
}

insdhall.sh

Finally, we will need to create the Psc-Package files and insert our local generated package set:

NAME='local'
TARGET=.psc-package/$NAME/.set/packages.json
mkdir -p .psc-package/$NAME/.set
dhall-to-json --pretty <<< './packages.dhall' > $TARGET
echo wrote packages.json to $TARGET

Once we run this script, we will now be able to use psc-package install and get to work.