Installing libgmp-dev fixed the problem, but it would be nice of configure told me that it was required.
On Wed, Jul 22, 2015 at 5:40 AM, Blake McBride <[email protected]> wrote: > From git master on 64 bit Linux: > > # ./configure --enable-ansi > ... > # make > ... > ;; Finished compiling ../lsp/gcl_info.o. > real time : 6.000 secs > run-gbc time : 3.680 secs > child run time : 0.920 secs > gbc time : 1.379 secs > ;; Compiling ../lsp/gcl_serror.lsp. > ;; End of Pass 1. > ;; End of Pass 2. > ;; OPTIMIZE levels: Safety=3, Space=0, Speed=3, (Debug quality ignored) > ;; Finished compiling ../lsp/gcl_serror.o. > real time : 6.019 secs > run-gbc time : 3.500 secs > child run time : 1.190 secs > gbc time : 1.309 secs > ;; Compiling ../lsp/gcl_mnum.lsp. > > Error: ERROR "There is no package with the name libgmp." > Fast links are on: do (si::use-fast-links nil) for debugging > Signalled by MULTIPLE-VALUE-LIST. > ERROR "There is no package with the name libgmp." > > Broken at FUNCALL. Type :H for Help. > SYSTEM>>make: *** [unixport/saved_pre_gcl] Error 255 > >
_______________________________________________ Gcl-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gcl-devel
