no filtering out git repos
commit8a263465ad90df031120cbbc1e63f4b27655bafb
authorOwen Shepherd <414owen@gmail.com>
dateMon 30 Dec 2019, 19:30 (7 years ago)
parentdc15730
default.nix+2−1
@@ -125,7 +125,8 @@ in rec {
125125 set -euo pipefail
126126
127127 PATH="${command}/bin:$PATH"
128− export OBELISK_IMPL="${hackGet ./.}"
128+ export OBELISK_IMPL="$(mktemp -d)"
129+ git clone file://${pathGit} $OBELISK_IMPL
129130 "${ghcObelisk.obelisk-selftest}/bin/obelisk-selftest" +RTS -N -RTS "$@"
130131 '';
131132 skeleton = pkgs.runCommand "skeleton" {