omega_interface/Makefile.am

   1 noinst_PROGRAMS = @bv_omega_programs@
   2 EXTRA_PROGRAMS = occ
   3
   4 if BUNDLED_OMEGA
   5     OMEGA_CODEGEN_LA = $(top_builddir)/omega/code_gen/libcode_gen.la \
   6                         $(top_builddir)/omega/omega_lib/libomega.la
   7 endif
   8
   9 FORCE:
  10 $(top_builddir)/omega/omega_lib/libomega.la: FORCE
  11         cd $(top_builddir)/omega/omega_lib; $(MAKE) $(AM_MAKEFLAGS) libomega.la
  12 $(top_builddir)/omega/code_gen/libcode_gen.la: FORCE
  13         cd $(top_builddir)/omega/code_gen; $(MAKE) $(AM_MAKEFLAGS) libcode_gen.la
  14
  15 occ_SOURCES = \
  16         Exit.cc \
  17         convert.cc \
  18         convert.h \
  19         count.cc \
  20         count.h \
  21         lex.yy.cc \
  22         polyfunc.cc \
  23         polyfunc.h \
  24         vertices.cc \
  25         vertices.h \
  26         y.tab.cc \
  27         y.tab.h \
  28         omega_calc/yylex.h
  29 if USE_PARKER
  30     PARKER_LA = ../parker/libparker.la
  31 endif
  32 LDADD = $(PARKER_LA) \
  33         @OMEGA_CODEGEN_LIBS@ $(OMEGA_CODEGEN_LA) ../libbarvinok.la
  34 AM_LDFLAGS = @OMEGA_LDFLAGS@ @POLYLIB_LDFLAGS@ @PIPLIB_LDFLAGS@
  35 AM_CPPFLAGS = -I$(top_srcdir) -I$(top_srcdir)/bernstein/include \
  36             @ISL_CFLAGS@ @POLYLIB_CPPFLAGS@ @OMEGA_CPPFLAGS@ @NTL_CPPFLAGS@
  37
  38 EXTRA_DIST = \
  39         parser.l \
  40         parser.y
  41
  42 YACC_FLAGS = -d
  43
  44 y.tab.h y.tab.cc: parser.y
  45         $(YACC) -v -d $<
  46         mv y.tab.c y.tab.cc
  47
  48 lex.yy.cc: parser.l y.tab.h
  49         $(LEX) -olex.yy.cc -i $<
  50