Add configure options

This commit is contained in:
Dennis Klein 2018-05-02 12:12:10 +02:00
parent ffd08814a4
commit e8b653d319
No known key found for this signature in database
GPG Key ID: 08E62D23FA0ECBBC

View File

@ -25,6 +25,8 @@ Set(CTEST_USE_LAUNCHERS 1)
Set(configure_options "${configure_options};-DCTEST_USE_LAUNCHERS=${CTEST_USE_LAUNCHERS}")
Set(configure_options "${configure_options};-DDISABLE_COLOR=ON")
Set(configure_options "${configure_options};-DCMAKE_PREFIX_PATH=$SIMPATH")
Set(configure_options "${configure_options};-DBUILD_NANOMSG_TRANSPORT=ON")
Set(EXTRA_FLAGS $ENV{EXTRA_FLAGS})
If(EXTRA_FLAGS)