Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[ci-skip] help flags build finding ns3
authorAugustin Degomme <adegomme@gmail.com>
Sat, 23 Apr 2022 11:15:05 +0000 (11:15 +0000)
committerAugustin Degomme <adegomme@gmail.com>
Sat, 23 Apr 2022 11:15:05 +0000 (11:15 +0000)
tools/jenkins/Flags.sh

index 046a5ad..2c49b12 100755 (executable)
@@ -91,7 +91,7 @@ cmake -Denable_documentation=OFF -Denable_java=${buildjava} -Denable_msg=${build
       -Denable_mallocators=ON -Denable_debug=${builddebug} \
       -Denable_smpi=${buildsmpi} -Denable_smpi_MPICH3_testsuite=${buildsmpi} -Denable_model-checking=${buildmc} \
       -Denable_memcheck=OFF -Denable_memcheck_xml=OFF -Denable_smpi_MBI_testsuite=OFF \
-      -Denable_ns3=$(onoff test "$buildmc" != "ON") -Denable_coverage=OFF -DLTO_EXTRA_FLAG="auto" "$WORKSPACE"
+      -Denable_ns3=$(onoff test "$buildmc" != "ON") -DNS3_HINT=/builds/ns-3-dev/build/ -Denable_coverage=OFF -DLTO_EXTRA_FLAG="auto" "$WORKSPACE"
 
 make -j$NUMPROC tests
 cd ..