diff options
author | Eric Schulte | 2019-04-12 15:30:35 -0400 |
---|---|---|
committer | Eric Schulte | 2019-04-12 15:45:38 -0400 |
commit | 3a459ab8399cc73ca29abd9602154d5e7d1dd8ef (patch) | |
tree | 2f7e71cae1243ad1a5e60e40bfd8ca98707ec7fd | |
parent | 7628c252cdc4700901a1b857945f3c968ba6b572 (diff) | |
download | aur-3a459ab8399cc73ca29abd9602154d5e7d1dd8ef.tar.gz |
Optionally use the system boost (if present)
-rw-r--r-- | PKGBUILD | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -2,12 +2,13 @@ # Maintainer: Eric Schulte <eschulte@grammatech.com> _srcname=gtirb-pprinter pkgname=gtirb-pprinter-git -pkgver=v0.1.0.r0.gb27ae54 +pkgver=v0.1.0.r1.gc10bc70 pkgrel=1 pkgdesc="Pretty printer from GTIRB to assembly code" arch=('x86_64') url="https://github.com/grammatech/gtirb-pprinter" license=('MIT') +optdepends=('boost: build against system boost') depends=() makedepends=('git' 'cmake' 'gtirb' 'capstone') provides=('gtirb-pprinter') @@ -22,10 +23,15 @@ pkgver() { build() { cd "$_srcname/" # Build Source + if [ -f /usr/include/boost/program_options.hpp ];then + FLAGS="-DCMAKE_INSTALL_PREFIX=/usr -DGTIRB_PPRINTER_USE_SYSTEM_BOOST=ON" + else + FLAGS="-DCMAKE_INSTALL_PREFIX=/usr" + fi # CFLAGS="-march=x86-64 -mtune=generic -O2 -pipe -fno-plt" # CXXFLAGS="-march=x86-64 -mtune=generic -O2 -pipe -fno-plt" # LDFLAGS="-Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now" - CFLAGS="" CXXFLAGS="" LDFLAGS="" cmake . -Bbuild -DCMAKE_INSTALL_PREFIX=/usr + CFLAGS="" CXXFLAGS="" LDFLAGS="" cmake . -Bbuild $FLAGS make -Cbuild # Build Docs cmake doc/doxy/ -Bbuild-doc |