Merge pull request diffblue#2257 from owen-jones-diffblue/owen-jones-diffblue/fix-cmake-macro

Matthias Güdemann · web-flow · commit 49429cf60334 · 2018-05-30T17:50:22.000+02:00
Fix CMake macro
diff --git a/jbmc/regression/CMakeLists.txt b/jbmc/regression/CMakeLists.txt
@@ -1,4 +1,4 @@
-set(test_pl_path "${CMAKE_SOURCE_DIR}/regression/test.pl")
+set(test_pl_path "${CBMC_SOURCE_DIR}/../regression/test.pl")
 
 # For the best possible utilisation of multiple cores when
 # running tests in parallel, it is important that these directories are

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-set(test_pl_path "${CMAKE_SOURCE_DIR}/regression/test.pl")`
	`1`	`+set(test_pl_path "${CBMC_SOURCE_DIR}/../regression/test.pl")`
`2`	`2`
`3`	`3`	`# For the best possible utilisation of multiple cores when`
`4`	`4`	`# running tests in parallel, it is important that these directories are`