Add missing file Options.cc from Minisat2 CMakefile in scripts/ folder.

NlightNFotis · NlightNFotis · commit 82b16008a542 · 2022-05-24T15:23:43.000+01:00
diff --git a/scripts/minisat2_CMakeLists.txt b/scripts/minisat2_CMakeLists.txt
@@ -4,6 +4,7 @@
 add_library(minisat2-condensed
     minisat/simp/SimpSolver.cc
     minisat/core/Solver.cc
+    minisat/utils/Options.cc
 )
 
 set_target_properties(

Original file line number	Diff line number	Diff line change
`@@ -4,6 +4,7 @@`
`4`	`4`	`add_library(minisat2-condensed`
`5`	`5`	`minisat/simp/SimpSolver.cc`
`6`	`6`	`minisat/core/Solver.cc`
	`7`	`+ minisat/utils/Options.cc`
`7`	`8`	`)`
`8`	`9`
`9`	`10`	`set_target_properties(`