diff options
| -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 |