parse __pencil_assume statements
[pet.git] / Makefile.am
blobf3f94613d71f60460b7a707ac9679e61c8776003
1 if BUNDLED_ISL
2     MAYBE_ISL = isl
3     ISL_LA = $(top_builddir)/isl/libisl.la
4 endif
6 SUBDIRS = $(MAYBE_ISL) .
7 DIST_SUBDIRS = $(MAYBE_ISL)
9 FORCE:
10 isl/libisl.la: FORCE
11         cd isl; $(MAKE) $(AM_MAKEFLAGS) libisl.la
13 ACLOCAL_AMFLAGS = -I m4
15 LIB_ISL = $(ISL_LA) @ISL_LIBS@
17 lib_LTLIBRARIES = libpet.la
18 bin_PROGRAMS = @extra_bin_programs@
19 noinst_PROGRAMS = @extra_noinst_programs@ pet_codegen pet_check_code
20 EXTRA_PROGRAMS = pet pet_scop_cmp
21 TESTS = @extra_tests@
22 EXTRA_TESTS = pet_test.sh codegen_test.sh
23 TEST_EXTENSIONS = .sh
25 include_HEADERS = include/pet.h
27 EXTRA_DIST = \
28         tests
30 INCLUDES = -I$(srcdir) -I$(srcdir)/include
32 AM_CFLAGS = $(INCLUDES) @ISL_CFLAGS@
33 AM_CXXFLAGS = $(INCLUDES) $(CLANG_CXXFLAGS) @ISL_CFLAGS@
34 AM_LDFLAGS = $(CLANG_LDFLAGS)
36 libpet_la_SOURCES = \
37         clang.h \
38         clang.cc \
39         options.h \
40         options.c \
41         print.c \
42         print.h \
43         scan.h \
44         scan.cc \
45         scop.h \
46         scop.c \
47         scop_plus.h \
48         scop_plus.cc \
49         version.h \
50         version.cc \
51         pet.cc
52 libpet_la_LDFLAGS = -version-info @versioninfo@ $(AM_LDFLAGS)
53 libpet_la_LIBADD = -lclangFrontend -lclangParse -lclangSema \
54         $(LIB_CLANG_EDIT) -lclangAnalysis \
55         -lclangAST -lclangLex -lclangBasic -lclangDriver -lclangSerialization \
56         $(CLANG_LIBS) $(CLANG_LDFLAGS) $(LIB_ISL)
58 pet_CFLAGS = $(AM_CFLAGS) @LIBYAML_CPPFLAGS@
59 pet_LDFLAGS = $(AM_LDFLAGS) @LIBYAML_LDFLAGS@
60 pet_SOURCES = \
61         dummy.cc \
62         emit.c \
63         scop_yaml.h \
64         main.c
65 pet_LDADD = libpet.la $(LIB_ISL) -lyaml
67 pet_scop_cmp_CFLAGS = $(AM_CFLAGS) @LIBYAML_CPPFLAGS@
68 pet_scop_cmp_LDFLAGS = @LIBYAML_LDFLAGS@
69 pet_scop_cmp_LDADD = libpet.la $(LIB_ISL) -lyaml
70 pet_scop_cmp_SOURCES = \
71         scop_yaml.h \
72         parse.c \
73         pet_scop_cmp.c
75 pet_codegen_CFLAGS = $(AM_CFLAGS)
76 pet_codegen_LDFLAGS =
77 pet_codegen_LDADD = libpet.la $(LIB_ISL)
78 pet_codegen_SOURCES = \
79         pet_codegen.c
81 pet_check_code_CFLAGS = $(AM_CFLAGS)
82 pet_check_code_LDFLAGS =
83 pet_check_code_LDADD = libpet.la $(LIB_ISL)
84 pet_check_code_SOURCES = \
85         dummy.cc \
86         pet_check_code.c
88 dist-hook:
89         echo @GIT_HEAD_VERSION@ > $(distdir)/GIT_HEAD_ID
91 gitversion.h: @GIT_HEAD@
92         $(AM_V_GEN)echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@