a skeletal module for higher-order pattern unification in the C runtime

This commit is contained in:
kr.angelov
2014-10-31 19:57:56 +00:00
parent b1e6a21c56
commit 70c70fa791
3 changed files with 19 additions and 1 deletions

View File

@@ -76,10 +76,11 @@ libpgf_la_SOURCES = \
pgf/typechecker.c \
pgf/reasoner.c \
pgf/evaluator.c \
pgf/hopu.c \
pgf/printer.c \
pgf/graphviz.c \
pgf/pgf.c \
pgf/pgf.h
pgf/pgf.h \
libpgf_la_LDFLAGS = "-no-undefined"
libpgf_la_LIBADD = libgu.la