diff options
author | Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com> | 2017-01-22 17:30:55 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-22 17:30:55 -0800 |
commit | 3765ca989446c6686efb42ee899d98232531dba5 (patch) | |
tree | e6ec0f9d30bfba6b3cf3c1be8f6a7a4b8bb18b2e /src/gui | |
parent | 13819bd8e6828e5aadecad77804b25651fd8d9ae (diff) | |
parent | e8d43279ac38c1afc20e6b353ec184f4a2c5cb79 (diff) | |
download | open-axiom-3765ca989446c6686efb42ee899d98232531dba5.tar.gz |
Merge pull request #5 from billpage/fix-gui-lib
Fix minor breakage when building gui
Diffstat (limited to 'src/gui')
-rw-r--r-- | src/gui/gui.pro.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gui/gui.pro.in b/src/gui/gui.pro.in index a6f6fd3b..ca28e582 100644 --- a/src/gui/gui.pro.in +++ b/src/gui/gui.pro.in @@ -6,7 +6,7 @@ oa_targetdir = @top_builddir@/@target@ OA_INC = $${oa_targetdir}/include -OA_LIB = -L@top_builddir@/@target@/lib -lOpenAxiom +OA_LIB = -L@top_builddir@/@target@/lib -lOpenAxiom -lopen-axiom-core ## We build in release mode. CONFIG += release |