@@ -23,7 +23,7 @@ stdenv.mkDerivation {
23 export happy_datadir=$(find ${happy}/share -name "happy-*" -type d -and -not -path "*doc*")
23 export happy_datadir=$(find ${happy}/share -name "happy-*" -type d -and -not -path "*doc*")
25 # We need to --skip-url-rewrites, ghc is a bit too strict here.
25 # We need to --skip-url-rewrites, ghc is a bit too strict here.
26− ./boot --skip-url-rewrites
26+ python3 ./boot --skip-url-rewrites
27 # let's not flood the screen with garbage.
27 # let's not flood the screen with garbage.
28 ./configure --silent
28 ./configure --silent