Import dlmalloc (public domain) as a malloc implementation. Add stub opt/notime

[pdclib] / CoreMakefile.mk

diff --git a/CoreMakefile.mk b/CoreMakefile.mk
index ac7d49573a15eaec7d918dbd5e7446ac12503ebc..39c96bed88989bc509289c7604be52247cc83a14 100644 (file)
--- a/CoreMakefile.mk
+++ b/CoreMakefile.mk
@@ -10,16 +10,19 @@ endif
 ifeq ($(PDCLIB_MALLOC),solar)\r
     pdclib_SOURCEDIRS += opt/malloc-solar\r
 else\r
-ifeq ($(PDCLIB_MALLOC),ptmalloc3)\r
-    pdclib_SOURCEDIRS += opt/ptmalloc3\r
+ifeq ($(PDCLIB_MALLOC),dlmalloc)\r
+    pdclib_SOURCEDIRS += opt/dlmalloc\r
 else\r
     $(error Bad malloc specified. Supported: solar, ptmalloc3)\r
 endif\r
 endif\r
 \r
-# No: -Wcast-align; spurious for uses of char* to do pointer arithmetic\r
-# No: -Winline; generates spirous errors on -Os builds\r
-WARNINGS := -Wall -Wextra -pedantic -Wno-unused-parameter -Wshadow -Wpointer-arith -Wwrite-strings -Wmissing-prototypes -Wmissing-declarations -Wredundant-decls -Wnested-externs -Wno-long-long -Wuninitialized -Wstrict-prototypes\r
+# No: -Wcast-align;      spurious for uses of char* to do pointer arithmetic\r
+# No: -Winline;          generates spirous errors on -Os builds\r
+# No: -Wredundant-decls; redefinition of functions is legal and sometimes required\r
+#         (especially applicable to PDCLib sources)\r
+# -Wno-unused-parameter; unused parameters are common in some interfaces\r
+WARNINGS := -Wall -Wextra -pedantic -Wshadow -Wpointer-arith -Wwrite-strings -Wmissing-prototypes -Wmissing-declarations -Wnested-externs -Wno-long-long -Wuninitialized -Wstrict-prototypes -Wno-unused-parameter\r
 \r
 pdclib_COMFLAGS += -ffreestanding $(WARNINGS)\r
 pdclib_CFLAGS   += -std=c11\r
@@ -32,4 +35,8 @@ pdclib_INCLUDE_DIRS   += $(pdclib_SOURCE_DIR)/includes $(pdclib_SOURCE_DIR)/intern
 ifdef PDCLIB_OPT_NOTHREAD\r
        pdclib_SOURCEDIRS   += opt/nothread\r
        pdclib_INCLUDE_DIRS += $(pdclib_SOURCE_DIR)/opt/nothread\r
+endif\r
+\r
+ifdef PDCLIB_OPT_NOTIME\r
+       pdclib_SOURCEDIRS += opt/notime\r
 endif
\ No newline at end of file