thepeg: fix rivet backend

This commit is contained in:
Dmitry Kalinkin 2018-05-30 16:06:34 -04:00
parent d239113bb0
commit 57bbe41295
No known key found for this signature in database
GPG key ID: 5157B3EC8B2CA333

View file

@ -13,6 +13,7 @@ stdenv.mkDerivation rec {
configureFlags = [ configureFlags = [
"--with-hepmc=${hepmc}" "--with-hepmc=${hepmc}"
"--with-rivet=${rivet}"
"--without-javagui" "--without-javagui"
]; ];