aspino: remove patchShebangs
This commit is contained in:
parent
fc653e9de0
commit
c00ddaf144
@ -27,7 +27,6 @@ stdenv.mkDerivation {
|
||||
--replace "defined(__linux__)" "defined(__linux__) && defined(__x86_64__)"
|
||||
substituteInPlace src/MaxSatSolver.cc \
|
||||
--replace "occ[i][sign(softLiterals[j])] > 0" "occ[i][sign(softLiterals[j])] != 0"
|
||||
patchShebangs .
|
||||
'';
|
||||
|
||||
preBuild = ''
|
||||
|
Loading…
Reference in New Issue
Block a user