rivet: fix rivet-mkhtml (#227331)

This commit is contained in:
Dmitry Kalinkin 2023-04-21 16:19:53 -04:00 committed by GitHub
parent b46d30d187
commit 703fd26f1f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -51,7 +51,8 @@ stdenv.mkDerivation rec {
--replace '"less"' '"${less}/bin/less"' --replace '"less"' '"${less}/bin/less"'
substituteInPlace bin/rivet-mkhtml \ substituteInPlace bin/rivet-mkhtml \
--replace '"make-plots"' \"$out/bin/make-plots\" \ --replace '"make-plots"' \"$out/bin/make-plots\" \
--replace '"rivet-cmphistos"' \"$out/bin/rivet-cmphistos\" --replace '"rivet-cmphistos"' \"$out/bin/rivet-cmphistos\" \
--replace 'ch_cmd = [sys.executable, os.path.join(os.path.dirname(__file__),' 'ch_cmd = [('
''; '';
configureFlags = [ configureFlags = [