diff options
Diffstat (limited to 'games/gturing/Makefile')
| -rw-r--r-- | games/gturing/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/games/gturing/Makefile b/games/gturing/Makefile index 8ff7b89796c2..4eec383ce2ec 100644 --- a/games/gturing/Makefile +++ b/games/gturing/Makefile @@ -17,7 +17,7 @@ COMMENT= A simple turing machine simulator for GNOME 2 USE_X_PREFIX= yes USE_GNOME= gnomeprefix gnomehack libgnomeui USE_GMAKE= yes -USE_LIBTOOL= yes +USE_LIBTOOL_VER=13 CONFIGURE_ENV= CPPFLAGS="-I${LOCALBASE}/include" \ LIBS="-L${LOCALBASE}/lib" |