On Tue, Feb 11, 2025 at 01:24:52PM +0100, Grégory Vanuxem wrote:
> Hi?
>
> The output of the second build is:
>
> 79 FriCAS installation finished.
> ./config/mkinstalldirs '/usr/local/bin'
> ./config/mkinstalldirs '/usr/local/lib/fricas/emacs'
> mkdir -p -- /usr/local/lib/fricas/emacs
> cd contrib/emacs && make install;
> make[1]: Entering directory '/home/greg/Git/jlfricas/contrib/emacs'
> /usr/bin/install -c -m 644 ./fricas.el /usr/local/lib/fricas/emacs/fricas.el
> /usr/bin/install -c -m 644 fricas-cpl.el
> /usr/local/lib/fricas/emacs/fricas-cpl.el
> /usr/bin/install: cannot stat 'fricas-cpl.el': No such file or directory
> make[1]: *** [Makefile:235: install-emacs] Error 1
> make[1]: Leaving directory '/home/greg/Git/jlfricas/contrib/emacs'
> make: *** [Makefile:379: install-contrib] Error 2
>
> The shell command that produces that:
>
> ./configure --prefix=/home/greg/.local/ --with-lisp=ccl --with-quicklisp
> --enable-gmp --enable-julia --enable-mathlink && make -j8 --output-sync &&
> make install && mv /home/greg/.local/bin/jlfricas
> /home/greg/.local/bin/jlfricasccl && mv /home/greg/.local/bin/fricas
> /home/greg/.local/bin/fricasccl && make distclean && ./configure
> --enable-gmp --enable-julia --enable-hunchentoot --enable-mathlink && make
> -j8 check && sudo make install
AFAICS this is expected behaviour: you are supposed to run 'make'
(or 'make all') before 'make install'. But on the second run
you only did 'make check', which skips contrib subdirectory.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/Z6zABsTgu-bXsvcN%40fricas.org.
