diff options
| author | Tristan Riehs <tristan.riehs@inria.fr> | 2026-05-31 17:59:29 +0200 |
|---|---|---|
| committer | Tristan Riehs <tristan.riehs@inria.fr> | 2026-05-31 17:59:29 +0200 |
| commit | e733ce7d74aee14fc6d97bc2119e0645bfb49906 (patch) | |
| tree | 66ea3b0d6db3930421c3fbc211fbdb3c90a86fc9 | |
| parent | 784b87aab4add9db1d316d85c85f1aa40d63ac00 (diff) | |
Get rid of development defaults
| -rw-r--r-- | Makefile | 11 |
1 files changed, 5 insertions, 6 deletions
@@ -1,9 +1,8 @@ -# Temporary development value, real default will be /usr/local -export PREFIX ?= $(shell pwd)/ftag_prefix -export PROG ?= ftag -export CFLAGS ?= -O0 -g3 -export LDFLAGS ?= -export LIBS ?= +export PREFIX ?= /usr/local +export PROG ?= ftag +export CFLAGS ?= -O0 -g3 +export LDFLAGS ?= +export LIBS ?= |