diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-07-01 03:22:27 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-07-01 03:22:27 +0000 |
| commit | 6c7342e9fe62ef8588307be33b2ad9543e4a071c (patch) | |
| tree | 354764c046ab680ae0580fdb3baa967552fc1ad4 /src/Makefile.in | |
| parent | 09de7e4ede72b8eaa1c42e8d08e338bfe9945f2c (diff) | |
| download | open-axiom-6c7342e9fe62ef8588307be33b2ad9543e4a071c.tar.gz | |
Bring closer to GCL-buildability.
Diffstat (limited to 'src/Makefile.in')
| -rw-r--r-- | src/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index c49c1872..05afdc17 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -360,6 +360,7 @@ oldincludedir = @oldincludedir@ open_axiom_installdir = @open_axiom_installdir@ openaxiom_host_has_regex = @openaxiom_host_has_regex@ pdfdir = @pdfdir@ +pointer_type = @pointer_type@ prefix = @prefix@ program_transform_name = @program_transform_name@ psdir = @psdir@ |