2020-12-12 16:31:53 -08:00
|
|
|
NAME=bp
|
2021-01-02 13:57:04 -08:00
|
|
|
CC=cc
|
2020-09-11 01:28:06 -07:00
|
|
|
PREFIX=/usr/local
|
2021-01-02 13:57:04 -08:00
|
|
|
CFLAGS=-std=c99 -Werror -D_XOPEN_SOURCE=700 -D_GNU_SOURCE -D_POSIX_C_SOURCE=200809L
|
|
|
|
CWARN=-Wall -Wpedantic -Wextra -Wsign-conversion -Wtype-limits -Wunused-result
|
|
|
|
G=
|
|
|
|
O=-O3
|
2020-09-07 23:05:38 -07:00
|
|
|
|
2020-12-14 22:01:50 -08:00
|
|
|
CFILES=compiler.c grammar.c utils.c vm.c file_loader.c viz.c json.c
|
2020-09-11 01:28:06 -07:00
|
|
|
OBJFILES=$(CFILES:.c=.o)
|
|
|
|
|
2020-09-11 01:54:26 -07:00
|
|
|
all: $(NAME)
|
2020-09-07 23:05:38 -07:00
|
|
|
|
2020-09-11 01:28:06 -07:00
|
|
|
.c.o:
|
2020-09-20 21:04:59 -07:00
|
|
|
$(CC) -c $(CFLAGS) $(CWARN) $(G) $(O) -o $@ $<
|
2020-09-07 23:05:38 -07:00
|
|
|
|
2021-01-02 13:57:04 -08:00
|
|
|
$(NAME): $(OBJFILES) $(NAME).c
|
|
|
|
$(CC) $(CFLAGS) $(CWARN) $(G) $(O) -o $@ $(OBJFILES) $(NAME).c
|
2020-09-11 01:28:06 -07:00
|
|
|
|
|
|
|
clean:
|
2020-09-11 01:54:26 -07:00
|
|
|
rm -f $(NAME) $(OBJFILES)
|
2020-09-07 23:05:38 -07:00
|
|
|
|
2020-09-11 01:54:26 -07:00
|
|
|
install: $(NAME)
|
|
|
|
@prefix="$(PREFIX)"; \
|
|
|
|
if [ ! "$$prefix" ]; then \
|
|
|
|
printf '\033[1mWhere do you want to install? (default: /usr/local) \033[0m'; \
|
|
|
|
read prefix; \
|
|
|
|
fi; \
|
|
|
|
[ ! "$$prefix" ] && prefix="/usr/local"; \
|
2020-09-12 15:11:44 -07:00
|
|
|
[ ! "$$sysconfdir" ] && sysconfdir=/etc; \
|
2020-12-30 21:28:44 -08:00
|
|
|
mkdir -p -m 755 "$$prefix/share/man/man1" "$$prefix/bin" "$$sysconfdir/xdg/bp" \
|
2020-12-12 16:31:53 -08:00
|
|
|
&& cp -rv grammars/* "$$sysconfdir/xdg/bp/" \
|
2020-09-11 01:54:26 -07:00
|
|
|
&& cp -v $(NAME).1 "$$prefix/share/man/man1/" \
|
|
|
|
&& rm -f "$$prefix/bin/$(NAME)" \
|
|
|
|
&& cp -v $(NAME) "$$prefix/bin/"
|
|
|
|
|
|
|
|
uninstall:
|
|
|
|
@prefix="$(PREFIX)"; \
|
|
|
|
if [ ! "$$prefix" ]; then \
|
|
|
|
printf '\033[1mWhere do you want to uninstall from? (default: /usr/local) \033[0m'; \
|
|
|
|
read prefix; \
|
|
|
|
fi; \
|
|
|
|
[ ! "$$prefix" ] && prefix="/usr/local"; \
|
2020-09-12 15:11:44 -07:00
|
|
|
[ ! "$$sysconfdir" ] && sysconfdir=/etc; \
|
2020-09-11 01:54:26 -07:00
|
|
|
echo "Deleting..."; \
|
2020-12-12 16:31:53 -08:00
|
|
|
rm -rvf "$$prefix/bin/$(NAME)" "$$prefix/share/man/man1/$(NAME).1" "$$sysconfdir/xdg/bp"; \
|
2020-09-11 01:54:26 -07:00
|
|
|
printf "\033[1mIf you created any config files in ~/.config/$(NAME), you may want to delete them manually.\033[0m\n"
|
|
|
|
|
|
|
|
.PHONY: all, clean, install, uninstall
|