From: Thomas Walker Lynch Date: Mon, 27 Oct 2025 09:14:38 +0000 (+0000) Subject: . X-Git-Url: https://git.reasoningtechnology.com/fossil/%7Bstyle.link%7D?a=commitdiff_plain;h=38b9bd8e6030675311e2ba58f1e42243796798b2;p=RT-project-share . --- diff --git a/developer/make/environment_RT_1.mk b/developer/make/environment_RT_1.mk index 151eeff..398fbec 100644 --- a/developer/make/environment_RT_1.mk +++ b/developer/make/environment_RT_1.mk @@ -10,15 +10,11 @@ SHELL=/bin/bash ECHO := printf "%b\n" C_SOURCE_DIR := cc -KMOD_SOURCE_DIR := cc - C := gcc CFLAGS := -std=gnu11 -Wall -Wextra -Wpedantic -finput-charset=UTF-8 CFLAGS += -MMD -MP CFLAGS += -I $(C_SOURCE_DIR) -KMOD_CCFLAGS := -I $(KMOD_SOURCE_DIR) - LIBRARY_NAME := $(PROJECT) LIBRARY_NAME := $(subst -,_,$(LIBRARY_NAME)) @@ -29,3 +25,6 @@ LN_FLAGS := -L$(LIBRARY_DIR) -L/lib64 -L/lib MACHINE_DIR := scratchpad +KMOD_SOURCE_DIR := cc +KMOD_CCFLAGS := -I $(KMOD_SOURCE_DIR) + diff --git a/developer/make/target_kmod.mk b/developer/make/target_kmod.mk index c825bfd..c4b771d 100644 --- a/developer/make/target_kmod.mk +++ b/developer/make/target_kmod.mk @@ -139,4 +139,5 @@ clean: find "$(kmod_output_dir)" -maxdepth 1 -type l -name '*.lib.c' -delete 2>/dev/null || true; \ find "$(kmod_output_dir)" -maxdepth 1 -type f -name '*.kmod.c' -delete 2>/dev/null || true; \ find "$(kmod_output_dir)" -maxdepth 1 -type f -name '*.lib.c' -delete 2>/dev/null || true; \ + rmdir "$(kmod_output_dir)" || true fi