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/omega_lib/libomega.la \
   6                        $(top_builddir)/omega/code_gen/libcode_gen.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         omega_calc/yylex.h
  28 if USE_PARKER
  29     PARKER_LA = ../parker/libparker.la
  30 endif
  31 LDADD = $(PARKER_LA) \
  32         @OMEGA_CODEGEN_LIBS@ $(OMEGA_CODEGEN_LA) ../libbarvinok.la
  33 AM_LDFLAGS = @OMEGA_LDFLAGS@ @POLYLIB_LDFLAGS@ @PIPLIB_LDFLAGS@
  34 AM_CPPFLAGS = -I$(top_srcdir) -I$(top_srcdir)/bernstein/include \
  35             @POLYLIB_CPPFLAGS@ @OMEGA_CPPFLAGS@ @NTL_CPPFLAGS@
  36
  37 EXTRA_DIST = \
  38         parser.l \
  39         parser.y
  40
  41 YACC_FLAGS = -d
  42
  43 y.tab.h y.tab.cc: parser.y
  44         $(YACC) -v -d $<
  45         mv y.tab.c y.tab.cc
  46
  47 lex.yy.cc: parser.l y.tab.h
  48         $(LEX) -olex.yy.cc -i $<
  49