Fix CMake macro

Owen Jones · Owen Jones · commit 9dc72a8f057e · 2018-05-30T15:13:23.000+01:00
In this repository ${CMAKE_SOURCE_DIR} and ${CBMC_SOURCE_DIR} are the
same, but they are different e.g. in a repository including cbmc as a
subtree.
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`