Deleted now useless option file + corresponding command line in CMake…

…Lists
cvanaret · Nov 4, 2024 · 5ddc990 · 5ddc990
1 parent 4bc3501
commit 5ddc990
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 246 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -184,9 +184,6 @@ set_property(TARGET uno PROPERTY POSITION_INDEPENDENT_CODE ON)
 target_include_directories(uno PUBLIC ${DIRECTORIES})
 target_link_libraries(uno PUBLIC ${LIBRARIES})
 
-# copy the option file
-file(COPY ${CMAKE_CURRENT_SOURCE_DIR}/uno.options DESTINATION ${CMAKE_CURRENT_BINARY_DIR})
-
 ######################
 # optional AMPL main #
 ######################

diff --git a/uno.options b/uno.options