diff options
| author | Samuel Holland <samuel@sholland.org> | 2019-07-05 21:25:36 -0500 |
|---|---|---|
| committer | Samuel Holland <samuel@sholland.org> | 2019-07-05 22:32:22 -0500 |
| commit | 1db574fa1f339f77999d3988251e13a266201083 (patch) | |
| tree | 9d5d6cf6fef5b0cf81ec107eb2ef70f22c296156 /Makefile | |
| parent | 4b05e0e49c979e4a49f37a441556ee11cd6a0c5e (diff) | |
| download | userland-1db574fa1f339f77999d3988251e13a266201083.tar.gz userland-1db574fa1f339f77999d3988251e13a266201083.tar.bz2 userland-1db574fa1f339f77999d3988251e13a266201083.tar.xz userland-1db574fa1f339f77999d3988251e13a266201083.zip | |
build: add wrapper Makefile
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..1d58eaf --- /dev/null +++ b/Makefile @@ -0,0 +1,23 @@ +INSTALL = install +YACC = byacc + +PROJECT = userland.gpr + +GENERATED = bin/expr/expr.c + +all: prepare + gprbuild -P $(PROJECT) -p + +clean: + gprclean -P $(PROJECT) -p + rm -f $(GENERATED) + +install: all + gprinstall -P $(PROJECT) -p --prefix=$(if $(DESTDIR),$(DESTDIR),/) + $(INSTALL) -Dm0755 usr.bin/false/false.sh $(DESTDIR)/usr/bin/false + $(INSTALL) -Dm0755 usr.bin/true/true.sh $(DESTDIR)/usr/bin/true + +prepare: $(GENERATED) + +.y.c: + $(YACC) -o $@ $< |