From 70c70fa791ef1d1e2349095ea661508db664ca97 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Fri, 31 Oct 2014 19:57:56 +0000 Subject: a skeletal module for higher-order pattern unification in the C runtime --- src/runtime/c/Makefile.am | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/runtime/c/Makefile.am') diff --git a/src/runtime/c/Makefile.am b/src/runtime/c/Makefile.am index 539a0e507..5fe493c65 100644 --- a/src/runtime/c/Makefile.am +++ b/src/runtime/c/Makefile.am @@ -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 -- cgit v1.2.3