diff options
author | Martin Diehl | 2023-12-21 12:06:41 +0100 |
---|---|---|
committer | Martin Diehl | 2023-12-21 12:21:24 +0100 |
commit | e6e49a36c1eba685fd5c866758797e2b12f57e40 (patch) | |
tree | 793b2e1721af8830af0efec742d28e519605f1d8 | |
parent | e1b8b410dc14adc877d58f880cbe1d82997f33a6 (diff) | |
download | aur-e6e49a36c1eba685fd5c866758797e2b12f57e40.tar.gz |
polishing
-rw-r--r-- | PKGBUILD | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -17,11 +17,11 @@ options=('!makeflags') build() { cmake -S Elemental-$pkgver \ -B build \ - -DCMAKE_INSTALL_PREFIX=/usr \ - -DCMAKE_BUILD_TYPE=Release \ - -DBUILD_SHARED_LIBS=ON \ - -D__GIT_EXECUTABLE=OFF - cmake --build build --parallel + -D CMAKE_INSTALL_PREFIX:PATH=/usr \ + -D CMAKE_BUILD_TYPE:STRING=Release \ + -D BUILD_SHARED_LIBS:BOOL=ON \ + -D __GIT_EXECUTABLE:BOOL=OFF + cmake --build build --parallel 4 } package() { |