Double build delete a necessary emacs file ("macs interface):

9 views
Skip to first unread message

Grégory Vanuxem

unread,
Feb 11, 2025, 7:25:34 AM2/11/25
to fricas...@googlegroups.com
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

Regards,

- Greg





Waldek Hebisch

unread,
Feb 12, 2025, 10:36:41 AM2/12/25
to fricas...@googlegroups.com
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

Grégory Vanuxem

unread,
Feb 20, 2025, 1:46:40 PM2/20/25
to fricas...@googlegroups.com
Right. Thx a lot. 

--
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...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/Z6zABsTgu-bXsvcN%40fricas.org.
Reply all
Reply to author
Forward
0 new messages