From fe55aab03104db7368518ab94355bcdacdac2881 Mon Sep 17 00:00:00 2001 From: "Chun Tian (binghe)" Date: Mon, 22 Jan 2024 18:46:42 +1100 Subject: [PATCH] FTBFS RBDTheory depending also on legacy probability... --- examples/dependability/RBD/Holmakefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/dependability/RBD/Holmakefile b/examples/dependability/RBD/Holmakefile index 443c1038eb..2ea674ca1c 100644 --- a/examples/dependability/RBD/Holmakefile +++ b/examples/dependability/RBD/Holmakefile @@ -1,2 +1,2 @@ -INCDIRS = examples/miller/formalize src/probability src/real/analysis +INCDIRS = examples/miller/formalize src/probability examples/probability/legacy src/real/analysis INCLUDES = $(patsubst %,$(dprot $(HOLDIR)/%),$(INCDIRS))