diff options
| author | Gereon Kremer | 2017-09-08 09:40:21 +0200 |
|---|---|---|
| committer | Gereon Kremer | 2017-09-08 09:40:21 +0200 |
| commit | 8f098f2e04916bce9081c9248dc764785d9e8407 (patch) | |
| tree | b0414dded530d8d7cdc3b3edd57e839525c2a16c /PKGBUILD | |
| parent | 5b3f01b729cbec3a4e8a81c95bc4b2328be43ecf (diff) | |
| download | aur-8f098f2e04916bce9081c9248dc764785d9e8407.tar.gz | |
Enable CLN and make library thread-safe.
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 17 |
1 files changed, 9 insertions, 8 deletions
@@ -7,21 +7,22 @@ pkgdesc="An Open Source C++ Library for Computer Arithmetic and Logic" arch=("i686" "x86_64") url="https://github.com/smtrat/carl" license=('MIT') -depends=("gmp>=5.1" "eigen>=3.2" "boost>=1.55") -makedepends=("make" "cmake>=3.0") +depends=("boost>=1.55" "cln>=1.3" "eigen>=3.2" "gmp>=5.1") +makedepends=("cmake>=3.0" "make>=4.2") conflicts=() replaces=() backup=() source=("https://github.com/smtrat/carl/archive/$pkgver.zip") md5sums=('3fc7b590b386051bad44ead47a5bd00c') -prepare() { - cd "$pkgname-$pkgver" -} build() { - cd "$pkgname-$pkgver" - cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr -DEXPORT_TO_CMAKE=OFF . - make resources + mkdir -p "$pkgname-$pkgver/build" + cd "$pkgname-$pkgver/build" + cmake \ + -DCMAKE_BUILD_TYPE=Release -DEXPORT_TO_CMAKE=OFF \ + -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_INSTALL_LIBDIR=lib \ + -DTHREAD_SAFE=ON -DUSE_CLN_NUMBERS=ON \ + ../ make lib_carl } check() { |