pixie, dust: rename pxi -> pixie-vm

see https://github.com/pixie-lang/pixie/issues/455
2016-08-19 02:38:12 +02:00
parent df2a847b6d
commit d620f80318
2 changed files with 8 additions and 2 deletions
@@ -11,7 +11,7 @@ stdenv.mkDerivation rec {
  buildInputs = [ pixie ];
  patches = [ ./make-paths-configurable.patch ];
  configurePhase = ''
-    pixiePath="${pixie}/bin/pxi" \
+    pixiePath="${pixie}/bin/pixie-vm" \
    basePath="$out/share/dust" \
      substituteAll dust.in dust
    chmod +x dust