Fix CMake macro

Owen Jones · Owen Jones · commit 57d96e52f39d · 2018-05-30T15:15:41.000+01:00
Using ${CMAKE_SOURCE_DIR} doesn't work e.g. in a repository including
cbmc as a subtree. Instead we use "${CBMC_SOURCE_DIR}/..".
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`