Commit 73df2866fb35c8c19f6ef329091fc3d4af7a6723

Thomas de Grivel 2023-11-19T21:27:51

configure

diff --git a/libc3/Makefile b/libc3/Makefile
index 9a4ef86..a599360 100644
--- a/libc3/Makefile
+++ b/libc3/Makefile
@@ -18,7 +18,7 @@ CLEANFILES += ${CLEANFILES_COV}
 
 DISTCLEANFILES = ${CLEANFILES} config.h config.mk
 
-build: libc3.la
+build: ${LIB}
 	${MAKE} -C window build
 
 all:
@@ -28,7 +28,7 @@ all:
 	if ${HAVE_ASAN}; then ${MAKE} asan; fi
 	${MAKE} -C window all
 
-asan: libc3_asan.la
+asan: ${LIB_ASAN}
 	${MAKE} -C window asan
 
 clean:
@@ -39,10 +39,10 @@ clean_cov:
 	rm -rf ${CLEANFILES_COV}
 	${MAKE} -C window clean_cov
 
-cov: libc3_cov.la
+cov: ${LIB_COV}
 	${MAKE} -C window cov
 
-debug: libc3_debug.la
+debug: ${LIB_DEBUG}
 	${MAKE} -C window debug
 
 demo: build
diff --git a/libc3/configure b/libc3/configure
index 8b7a7e3..42e653f 100755
--- a/libc3/configure
+++ b/libc3/configure
@@ -22,6 +22,11 @@ LIB_ASAN=libc3_asan.la
 LIB_COV=libc3_cov.la
 LIB_DEBUG=libc3_debug.la
 
+echo "LIB = $LIB" >> ${CONFIG_MK}
+echo "LIB_ASAN = $LIB_ASAN" >> ${CONFIG_MK}
+echo "LIB_COV = $LIB_COV" >> ${CONFIG_MK}
+echo "LIB_DEBUG = $LIB_DEBUG" >> ${CONFIG_MK}
+
 . ./sources.sh
 
 OBJECTS="$(c2ext .main.lo "$LO_SOURCES")"