aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-02-08 12:07:51 +0100
committerTristan Riehs <tristan.riehs@inria.fr>2026-02-08 12:07:51 +0100
commita6df8fe0b343ac8c23cd8ff2c46d28ff750e9f8e (patch)
treeaea58a8ec92c548406e129f8652a54065a231c3e
parent29700305ec9e66d5b481df277a03752139483d65 (diff)
Chane default ftag root and move ftag executable
Put ftag executable at the root for convenience. Make sure the default ftag root contains only ftag-related stuff and is not just called "ftag" to avoid collision with the executable name.
-rw-r--r--.gitignore3
-rw-r--r--Makefile3
2 files changed, 4 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore
index 61e2312..6cecd6d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
-src/ftag
+ftag
*.o
ftag.sqlite3
files/
+ftag_root/
diff --git a/Makefile b/Makefile
index 8028648..acb88db 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-export FTAG_ROOT ?= $(shell pwd)/ftag
+export FTAG_ROOT ?= $(shell pwd)/ftag_root
export PROG ?= ftag
export CFLAGS ?= -O0 -g3
export LDFLAGS ?=
@@ -14,6 +14,7 @@ all: $(PROG)
$(PROG):
make -C src
+ mv src/$(PROG) ./
clean:
make -C src clean