3 ISL_LA = $(top_builddir)/isl/libisl.la -lgmp
4 LOCAL_ISL_LA = isl/libisl.la
8 PET_LA = $(top_builddir)/pet/libpet.la
11 SUBDIRS = $(MAYBE_ISL) $(MAYBE_PET) .
15 cd isl; $(MAKE) $(AM_MAKEFLAGS) libisl.la
17 cd pet; $(MAKE) $(AM_MAKEFLAGS) libpet.la
19 ACLOCAL_AMFLAGS = -I m4
21 LIB_ISL = $(ISL_LA) @ISL_LIBS@
22 LIB_PET = $(PET_LA) @PET_LIBS@
24 AM_CPPFLAGS = @ISL_CFLAGS@ @PET_CFLAGS@
25 LDADD = $(LIB_PET) $(LIB_ISL)
49 echo @GIT_HEAD_VERSION@ > $(distdir)/GIT_HEAD_ID
51 gitversion.h: @GIT_HEAD@
52 $(AM_V_GEN)echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@