Add source to cmake config

GrammaTech · Jan 27, 2022 · eeb5012 · eeb5012
1 parent 58732ca
commit eeb5012
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -37,6 +37,7 @@ set(DATALOG_BASE_SOURCES
     datalog/data_access_analysis.dl
     datalog/empty_range.dl
     datalog/basic_function_inference.dl
+    datalog/jump_tables.dl
     datalog/main.dl
     datalog/pointer_reatribution.dl
     datalog/register_type_analysis.dl