disable compilation of Probe example, until EverParse.h etc. are sorted out

nikswamy · nikswamy · commit 2d7008cd3e87 · 2023-12-05T09:42:46.000-08:00
diff --git a/src/3d/tests/Makefile b/src/3d/tests/Makefile
@@ -22,14 +22,17 @@ INCLUDES=$(EVERPARSE_HOME)/src/3d/prelude $(EVERPARSE_HOME)/src/3d/prelude/buffe
 
 FSTAR_OPTIONS=$(addprefix --include , $(INCLUDES))
 
-positive_tests=$(filter-out $(wildcard FAIL*.3d) FieldDependence0.3d ActAndCheck.3d ELF.3d,$(wildcard *.3d))
+positive_tests=$(filter-out $(wildcard FAIL*.3d) FieldDependence0.3d ActAndCheck.3d ELF.3d Probe.3d,$(wildcard *.3d))
 positive_tests_nosuffix=$(basename $(positive_tests))
 modules_or_wrappers=$(positive_tests_nosuffix) $(addsuffix Wrapper,$(positive_tests_nosuffix))
 modules_static_assertions=TestFieldPtrStaticAssertions.c AlignStaticAssertions.c
 clean_out_files=$(addsuffix .c,$(modules_or_wrappers)) $(modules_static_assertions) $(addsuffix .h,$(modules_or_wrappers))
 OTHER_HEADERS=TestFieldPtrBase.h AlignC.h
 
-all: batch-test batch-test-negative batch-cleanup-test inplace-hash-test modules tcpip extern output-types batch-interpret-test modules-interpret elf-test static funptr ifdefs
+all: batch-test batch-test-negative batch-cleanup-test \
+	 inplace-hash-test modules tcpip extern output-types \
+	 batch-interpret-test modules-interpret elf-test \
+	 static funptr ifdefs Probe-test
 
 #AR: TODO: remove ELF.3d from here
 
