Specify litre config file

Swift SVN r4506
Ajisaputrars · Mar 28, 2013 · 257ee68 · 257ee68
1 parent 96cc492
commit 257ee68
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt
@@ -59,7 +59,12 @@ if(LITRE_EXECUTABLE)
     set(test_dir ${CMAKE_CURRENT_BINARY_DIR}/litre-tests/${rst}.litre-tests)
     execute_process(
       COMMAND ${CMAKE_COMMAND} -E make_directory "${test_dir}"
-      COMMAND ${LITRE_EXECUTABLE} --dump_dir=${test_dir} --traceback ${CMAKE_CURRENT_SOURCE_DIR}/${rst}
+      COMMAND 
+        ${LITRE_EXECUTABLE} 
+        --config=${CMAKE_CURRENT_SOURCE_DIR}/litre_config.py 
+        --dump_dir=${test_dir} 
+        --traceback 
+        ${CMAKE_CURRENT_SOURCE_DIR}/${rst}
       )
     # Make that directory part of the build
     add_subdirectory(${test_dir} ${test_dir}/build)

diff --git a/docs/litre_config.py b/docs/litre_config.py
@@ -0,0 +1 @@
+default_cmake_args = ['COMPILER', 'srel']