mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-12-27 02:57:50 +08:00
15 lines
571 B
Diff
15 lines
571 B
Diff
|
--- a/src/asl/CMakeLists.txt 2019-02-07 22:45:15.191909400 -0600
|
||
|
+++ b/src/asl/CMakeLists.txt 2019-02-07 22:47:10.364936600 -0600
|
||
|
@@ -216,6 +216,11 @@ add_mp_library(asl-core OBJECT ${ASL_COR
|
||
|
COMPILE_DEFINITIONS ${ASL_COMPILE_DEFINITIONS}
|
||
|
INCLUDE_DIRECTORIES ${CMAKE_CURRENT_BINARY_DIR})
|
||
|
|
||
|
+if (MSVC)
|
||
|
+ set_source_files_properties(solvers/avltree.c solvers/sphes.c
|
||
|
+ PROPERTIES COMPILE_OPTIONS /Od)
|
||
|
+endif ()
|
||
|
+
|
||
|
# Public ASL headers.
|
||
|
set(ASL_HEADERS aslbuilder.h aslexpr.h aslexpr-visitor.h
|
||
|
aslproblem.h aslinterface.h ${CMAKE_CURRENT_BINARY_DIR}/stdio1.h)
|