Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 8a0a05ec21
Fetching contributors…

Cannot retrieve contributors at this time

file 23 lines (18 sloc) 0.893 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
INCLUDES = -I$(top_srcdir)/src/ -I$(top_srcdir)/src/dd \
-I$(top_srcdir)/src/enc -I$(top_srcdir)/src/expr \
-I$(top_srcdir)/src/type -I$(top_srcdir)/src/expr/walkers \
-I$(top_srcdir)/src/model -I$(top_srcdir)/src/model/compilers \
-I$(top_srcdir)/src/3rdparty/ezlogger -I$(top_srcdir)/src/sat/core \
-I$(top_srcdir)/src/sat/mtl -I$(top_srcdir)/src/sat/proof \
-I$(top_srcdir)/src/sat/utils -I$(top_srcdir)/src/dd/cudd-2.5.0/cudd \
-I$(top_srcdir)/src/dd/cudd-2.5.0/mtr \
-I$(top_srcdir)/src/dd/cudd-2.5.0/epd \
-I$(top_srcdir)/src/dd/cudd-2.5.0/st \
-I$(top_srcdir)/src/dd/cudd-2.5.0/util \
-I$(top_srcdir)/src/dd/cudd-2.5.0/obj

PKG_HH = compiler.hh

PKG_CC = compiler.cc algebra.cc internals.cc

PKG_SOURCES = $(PKG_H) $(PKG_CC)

# -------------------------------------------------------

noinst_LTLIBRARIES = libcompilers.la
libcompilers_la_SOURCES = $(PKG_SOURCES)
Something went wrong with that request. Please try again.