Allow building testgen without P4TEST enabled (p4lang#4078)

jafingerhut · Jul 21, 2023 · 284c924 · 284c924
1 parent b6ad725
commit 284c924
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/backends/p4tools/modules/testgen/test/small-step/p4_asserts_parser_test.cpp b/backends/p4tools/modules/testgen/test/small-step/p4_asserts_parser_test.cpp
@@ -10,7 +10,6 @@
 
 #include <boost/multiprecision/cpp_int.hpp>
 
-#include "backends/p4test/version.h"
 #include "backends/p4tools/common/compiler/midend.h"
 #include "backends/p4tools/common/lib/variables.h"
 #include "frontends/common/options.h"
@@ -55,7 +54,6 @@ Restrictions loadExample(const char *curFile, bool flag) {
     std::string includeDir = std::string(buildPath) + std::string("p4include");
     auto *originalEnv = getenv("P4C_16_INCLUDE_PATH");
     setenv("P4C_16_INCLUDE_PATH", includeDir.c_str(), 1);
-    options.compilerVersion = P4TEST_VERSION_STRING;
     const IR::P4Program *program = nullptr;
     options.file = sourcePath;
     options.file += curFile;

diff --git a/backends/p4tools/modules/testgen/test/small-step/reachability.cpp b/backends/p4tools/modules/testgen/test/small-step/reachability.cpp
@@ -7,7 +7,6 @@
 #include <fstream>
 #include <functional>
 
-#include "backends/p4test/version.h"
 #include "backends/p4tools/common/compiler/midend.h"
 #include "frontends/common/options.h"
 #include "frontends/common/parseInput.h"
@@ -61,7 +60,6 @@ ReturnedInfo loadExampleForReachability(const char *curFile) {
     std::string includeDir = std::string(buildPath) + std::string("p4include");
     auto *originalEnv = getenv("P4C_16_INCLUDE_PATH");
     setenv("P4C_16_INCLUDE_PATH", includeDir.c_str(), 1);
-    options.compilerVersion = P4TEST_VERSION_STRING;
     const IR::P4Program *program = nullptr;
     options.file = sourcePath;
     options.file += curFile;