diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-10-31 19:57:56 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-10-31 19:57:56 +0000 |
| commit | 70c70fa791ef1d1e2349095ea661508db664ca97 (patch) | |
| tree | dc46a1b6330574ffea5b41b36e2be601c2a4fa2a /src/runtime/c/Makefile.am | |
| parent | b1e6a21c56c5aef62716c35546d4596e11bbbf94 (diff) | |
a skeletal module for higher-order pattern unification in the C runtime
Diffstat (limited to 'src/runtime/c/Makefile.am')
| -rw-r--r-- | src/runtime/c/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
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 |