diff options
Diffstat (limited to 'src/gui/gui.pro.in')
-rw-r--r-- | src/gui/gui.pro.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/gui/gui.pro.in b/src/gui/gui.pro.in index eb293f5a..fe160438 100644 --- a/src/gui/gui.pro.in +++ b/src/gui/gui.pro.in @@ -3,7 +3,7 @@ ## Written by Gabriel Dos Reis. OA_INC = -OA_LIB = +OA_LIB = -L@top_builddir@/@target@/lib -lOpenAxiom ## We build in release mode. CONFIG += release @@ -12,7 +12,8 @@ CONFIG += release TEMPLATE = app ## Put the executable directly in the staged bin directory. -TARGET = @top_builddir@/@target@/bin/gui +DESTDIR = @top_builddir@/@target@/bin +TARGET = gui ## Tell QT that sources are not in the build directory VPATH += @srcdir@ |