eefb417d14
GitOrigin-RevId: a52e974cff8fb80c427e0d55c01b3b8c770ccec4
21 lines
763 B
Diff
21 lines
763 B
Diff
diff --git a/Makefile b/Makefile
|
|
index 0070ada..802cef0 100644
|
|
--- a/Makefile
|
|
+++ b/Makefile
|
|
@@ -202,7 +202,7 @@ $(BIN_NAME): $(BIN_OBJS)
|
|
##### Public rules #####
|
|
|
|
all: CPPFLAGS += -DNDEBUG
|
|
-all: shared static tools
|
|
+all: shared tools
|
|
|
|
# Run with ASAN_OPTIONS="protect_shadow_gap=0" to avoid CUDA OOM errors
|
|
debug: CFLAGS += -pedantic -fsanitize=undefined -fno-omit-frame-pointer -fno-common -fsanitize=address
|
|
@@ -232,7 +232,6 @@ install: all
|
|
# Install header files
|
|
$(INSTALL) -m 644 $(LIB_INCS) $(DESTDIR)$(includedir)
|
|
# Install library files
|
|
- $(INSTALL) -m 644 $(LIB_STATIC) $(DESTDIR)$(libdir)
|
|
$(INSTALL) -m 755 $(LIB_SHARED) $(DESTDIR)$(libdir)
|
|
$(LN) -sf $(LIB_SONAME) $(DESTDIR)$(libdir)/$(LIB_SYMLINK)
|
|
$(LDCONFIG) -n $(DESTDIR)$(libdir)
|