summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichel Zou2020-05-11 11:00:50 +0200
committerMichel Zou2020-05-11 11:00:50 +0200
commit115ae80e1dd97d98fb1de7b8a67c5f51d12f92ca (patch)
tree258fda578c6d8550733cce653709c66d73c44c48
parente380dcd90fb777401b1b0feafbae4ef06b366e7f (diff)
downloadaur-115ae80e1dd97d98fb1de7b8a67c5f51d12f92ca.tar.gz
drop fixes
-rw-r--r--PKGBUILD2
1 files changed, 0 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 91f2ba41ba6..e16b94ed87b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -15,8 +15,6 @@ _architectures="i686-w64-mingw32 x86_64-w64-mingw32"
prepare() {
cd z3-z3-${pkgver}
- sed -i "s|Windows.h|windows.h|g" src/util/memory_manager.cpp
- sed -i 's|RUNTIME DESTINATION "${CMAKE_INSTALL_LIBDIR}"|RUNTIME DESTINATION "${CMAKE_INSTALL_BINDIR}"|g' src/CMakeLists.txt
}
build() {