blob: fb1d25111b0da4fdc19b710720387e258fcd1928 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
###############################################################################
# Top contributors (to current version):
# Mathias Preiner, Aina Niemetz, Gereon Kremer
#
# This file is part of the cvc5 project.
#
# Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
# in the top-level source directory and their institutional affiliations.
# All rights reserved. See the file COPYING in the top-level source
# directory for licensing information.
# #############################################################################
#
# The build system configuration.
##
set(LIBCONTEXT_SOURCES
backtrackable.h
cddense_set.h
cdhashmap.h
cdhashmap_forward.h
cdhashset.h
cdhashset_forward.h
cdinsert_hashmap.h
cdinsert_hashmap_forward.h
cdlist.h
cdlist_forward.h
cdmaybe.h
cdo.h
cdqueue.h
cdtrail_queue.h
context.cpp
context.h
context_mm.cpp
context_mm.h
)
add_library(cvc4context OBJECT ${LIBCONTEXT_SOURCES})
if(ENABLE_SHARED)
set_target_properties(cvc4context PROPERTIES POSITION_INDEPENDENT_CODE ON)
endif()
target_compile_definitions(cvc4context PRIVATE -D__BUILDING_CVC4LIB)
|