diff options
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am new file mode 100644 index 0000000..6d12124 --- /dev/null +++ b/src/Makefile.am @@ -0,0 +1,29 @@ + +bin_PROGRAMS = zubr + +zubr_SOURCES = \ + main.c \ + error.c \ + closure.c \ + warshall.c \ + symtab.c \ + skeleton.c \ + lalr.c \ + lr0.c \ + mkpar.c \ + verbose.c \ + reader.c \ + output.c \ + port.c + +nodist_noinst_HEADERS = defs.h + +AM_CPPFLAGS = $(LIBMPUIO_CFLAGS) +AM_CFLAGS = -Wall -Wextra -std=gnu23 +zubr_LDFLAGS = $(LIBMPUIO_LDFLAGS) +zubr_LDADD = $(LIBMPUIO_LIBS) + +EXTRA_DIST = defs.h.in + +distclean-local: + -rm -rf $(DEPDIR) |
