Minor cleanup.

p4lang · Apr 17, 2023 · 8dfee6b · 8dfee6b
1 parent 25c9f67
commit 8dfee6b
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 163 deletions.
diff --git a/backends/p4tools/CMakeLists.txt b/backends/p4tools/CMakeLists.txt
@@ -74,7 +74,7 @@ add_subdirectory(${CMAKE_CURRENT_LIST_DIR}/common)
 
 
 # Custom IR constructs for P4Tools.
-set(IR_DEF_FILES ${IR_DEF_FILES} ${CMAKE_CURRENT_SOURCE_DIR}/common/testgen.def)
+set(IR_DEF_FILES ${IR_DEF_FILES} ${CMAKE_CURRENT_SOURCE_DIR}/p4tools.def)
 
 file(GLOB tools_modules RELATIVE ${CMAKE_CURRENT_SOURCE_DIR}/modules ${CMAKE_CURRENT_SOURCE_DIR}/modules/*)
 foreach(ext ${tools_modules})

diff --git a/backends/p4tools/common/testgen.def b/backends/p4tools/common/testgen.def