Add new hpcombi paths

semigroups · Apr 9, 2024 · 7bcdefb · 7bcdefb
1 parent 1d06131
commit 7bcdefb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/GNUmakefile.in b/GNUmakefile.in
@@ -48,7 +48,7 @@ ifdef WITH_INCLUDED_LIBSEMIGROUPS
 # the sources, or otherwise we should stop make installing into bin
 ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED
 KEXT_CPPFLAGS += -Ilibsemigroups/extern/HPCombi/include
-KEXT_CPPFLAGS += -Ilibsemigroups/extern/HPCombi/include/fallback
+KEXT_CPPFLAGS += -Ilibsemigroups/extern/HPCombi/third_party/
 endif
 KEXT_CPPFLAGS += -Ilibsemigroups/extern/fmt-10.1.1/include
 KEXT_CPPFLAGS += -Ilibsemigroups/include