diff options
| author | Florian Fischer <florian.fl.fischer@fau.de> | 2019-08-24 17:58:18 +0200 |
|---|---|---|
| committer | Florian Fischer <florian.fl.fischer@fau.de> | 2019-08-24 17:58:18 +0200 |
| commit | de7208a60eca11aa8014e3a9b698e092322aea88 (patch) | |
| tree | 13323f839f63d0d363517af81de317f0ec17a415 /src/benchmarks/espresso/CMakeLists.txt | |
| parent | 77ac9ce0a5c55d4f79f8fb8f7daa59ddb53cb507 (diff) | |
| download | allocbench-de7208a60eca11aa8014e3a9b698e092322aea88.tar.gz allocbench-de7208a60eca11aa8014e3a9b698e092322aea88.zip | |
add espresso benchmark
Diffstat (limited to 'src/benchmarks/espresso/CMakeLists.txt')
| -rw-r--r-- | src/benchmarks/espresso/CMakeLists.txt | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/benchmarks/espresso/CMakeLists.txt b/src/benchmarks/espresso/CMakeLists.txt new file mode 100644 index 0000000..cc5dac2 --- /dev/null +++ b/src/benchmarks/espresso/CMakeLists.txt @@ -0,0 +1,17 @@ +cmake_minimum_required(VERSION 3.0) +project(espresso C) +set(CMAKE_CXX_STANDARD 17) + +set(CMAKE_BUILD_TYPE "Release") + +set(espresso_sources + cofactor.c cols.c compl.c contain.c cubestr.c cvrin.c cvrm.c cvrmisc.c cvrout.c + dominate.c equiv.c espresso.c essen.c exact.c expand.c gasp.c getopt.c gimpel.c + globals.c hack.c indep.c irred.c main.c map.c matrix.c mincov.c opo.c pair.c part.c + primes.c reduce.c rows.c set.c setc.c sharp.c sminterf.c solution.c sparse.c unate.c + utility.c verify.c) + +add_executable(espresso ${espresso_sources}) +target_compile_options(espresso PRIVATE $<$<C_COMPILER_ID:GNU>:-std=gnu89>) +target_link_libraries(espresso m) + |