Mercurial > hg > Gears > Gears

changeset 804:e5befdd51edf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix CMakeLists
author ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
date Fri, 15 Jan 2021 17:31:06 +0900
parents 2ff5fa9f4d77
children 2de37d6c6966
files src/parallel_execution/CMakeLists.txt
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/parallel_execution/CMakeLists.txt	Fri Jan 15 16:43:31 2021 +0900
+++ b/src/parallel_execution/CMakeLists.txt	Fri Jan 15 17:31:06 2021 +0900
@@ -154,5 +154,5 @@
   TARGET
   DPP
   SOURCES
-  TaskManagerImpl.cbc CPUWorker.cbc SynchronizedQueue.cbc AtomicTImpl.cbc SingleLinkedStack.cbc examples/DPP/PhilsImpl.cbc examples/DPP/main.cbc examples/DPP/ForkImpl.cbc examples/DPP/crc32.c examples/DPP/memory.c examples/DPP/state_db.c
+  TaskManagerImpl.cbc CPUWorker.cbc SynchronizedQueue.cbc AtomicTImpl.cbc SingleLinkedStack.cbc examples/DPP/PhilsImpl.cbc examples/DPP/main.cbc examples/DPP/ForkImpl.cbc Modelchecking/crc32.c ModelChecking/memory.c ModelChecking/state_db.c
 )