]> git.tue.mpg.de Git - paraslash.git/commitdiff
build: Simplify condition for building para_server.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 24 Jun 2023 16:56:00 +0000 (18:56 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 17 Mar 2024 11:34:49 +0000 (12:34 +0100)
We fail the configure script earlier if flex or bison are not
installed, so we don't need to repeat this check here.

configure.ac

index a303086456d0d6a9e1995827f11e59f014165744..efcd228816a382111ee367732c48e0b3d191ec3e 100644 (file)
@@ -376,8 +376,7 @@ AC_ARG_ENABLE([ubsan], [AS_HELP_STRING(--enable-ubsan,
        [ENABLE_UBSAN=yes], [ENABLE_UBSAN=no])
 AC_SUBST(ENABLE_UBSAN)
 ######################################################################### server
-if test -n "$CRYPTOLIB" && test $HAVE_OSL = yes && test -n "$BISON" && \
-               test -n "$FLEX"; then
+if test -n "$CRYPTOLIB" && test $HAVE_OSL = yes; then
        build_server="yes"
        executables="$executables server upgrade_db"
        server_objs="