diff options
| author | dos-reis <gdr@axiomatics.org> | 2014-11-29 19:21:28 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2014-11-29 19:21:28 +0000 |
| commit | 11fd57def249cbc6f4aee8dfaac5e7f346f483c0 (patch) | |
| tree | 7185e026223f007c21ee41f22959250f38d6ce53 /config | |
| parent | e9d8e2490f4dff922c0d86f29f31227655cc0633 (diff) | |
| download | open-axiom-11fd57def249cbc6f4aee8dfaac5e7f346f483c0.tar.gz | |
Move code from bemol.cc to library.
Diffstat (limited to 'config')
| -rw-r--r-- | config/open-axiom.m4 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/open-axiom.m4 b/config/open-axiom.m4 index 995ea70b..706f5919 100644 --- a/config/open-axiom.m4 +++ b/config/open-axiom.m4 @@ -1184,6 +1184,7 @@ AC_CONFIG_LINKS([ $oa_incdir/vm:src/include/vm.H $oa_incdir/sexpr:src/include/sexpr.H $oa_incdir/Lisp:src/include/Lisp.H + $oa_incdir/InputFragment:src/include/InputFragment.h $oa_incdir/Constructor:src/include/Constructor.H $oa_incdir/Database:src/include/Database.H ]) |