diff options
| author | Nguyễn Gia Phong <cnx@loang.net> | 2025-05-08 11:42:52 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2025-05-08 11:42:52 +0900 |
| commit | d2e3a08ac95527432795a43034113fb90dc98145 (patch) | |
| tree | e2ed3795ece6c2a799d78d5fb37dc1380f15aee5 /patches/fuzzolic-solver-install.patch | |
| parent | e6ee0e999d736adaa8778d1ad7149732f6c4d95e (diff) | |
| download | loftix-d2e3a08ac95527432795a43034113fb90dc98145.tar.gz | |
Package FUZZOLIC
Diffstat (limited to 'patches/fuzzolic-solver-install.patch')
| -rw-r--r-- | patches/fuzzolic-solver-install.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/patches/fuzzolic-solver-install.patch b/patches/fuzzolic-solver-install.patch new file mode 100644 index 0000000..430356e --- /dev/null +++ b/patches/fuzzolic-solver-install.patch @@ -0,0 +1,10 @@ +diff --git a/solver/CMakeLists.txt b/solver/CMakeLists.txt +index a159187a5b27..9618f9a0576d 100644 +--- a/solver/CMakeLists.txt ++++ b/solver/CMakeLists.txt +@@ -28,3 +28,5 @@ set(CMAKE_CXX_FLAGS "-Wall -Wextra -O3 -g") + set(CMAKE_C_FLAGS "-O3 -g") + #set(CMAKE_CXX_FLAGS_DEBUG "-g") + #set(CMAKE_CXX_FLAGS_RELEASE "-O3") ++ ++install(TARGETS solver-smt solver-fuzzy) |