diff options
-rw-r--r-- | Makefile | 2 | ||||
-rw-r--r-- | TODOs.md | 3 | ||||
-rw-r--r-- | aux/guix/manifest.scm | 3 |
3 files changed, 2 insertions, 6 deletions
@@ -2,7 +2,7 @@ CC = c99 CFLAGS = -std=c99 -Wall -Wextra -Wpedantic -fPIC -g LDFLAGS = -Wl,-rpath,$$LIBRARY_PATH -LDLIBS = -lsharedc +LDLIBS = PREFIX = /usr/local MANPREFIX = $(PREFIX)/share/man VERSION = 0.2.1 @@ -1,8 +1,5 @@ # Tasks -## TODO -lsharedc isn't available via system path, only with Guix environment {#task-cbb71c0f-3c02-4002-a308-bc09ac6f09b4} -- TODO in 2021-02-28 - ## TODO Rename PROFILE for LABEL? {#task-e3153cfb-b77a-4528-afa0-43b90f267d3d} - TODO in 2021-01-31 diff --git a/aux/guix/manifest.scm b/aux/guix/manifest.scm index c1086fc..388c824 100644 --- a/aux/guix/manifest.scm +++ b/aux/guix/manifest.scm @@ -20,5 +20,4 @@ posix-c99 clang-toolchain valgrind - fallible-latest - sharedc-latest))) + fallible-latest))) |