[PATCH] install aldor files to target/

2 views
Skip to first unread message

Qian Yun

unread,
Mar 18, 2026, 7:23:33 AM (18 hours ago) Mar 18
to fricas-devel
This patch install aldor files to target/
directory when running "make".

Currently, "make" does not install aldor files
to target/, and "make install" will install to
the system location instead of target/.

This patch will make the aldor part consist with
the rest of the system, and you can test the interface
locally, and it makes packaging easier
(I'm working on a CI test that tests aldor interface.)

- Best,
- Qian
install-aldor-to-target.patch

Waldek Hebisch

unread,
Mar 18, 2026, 6:44:32 PM (6 hours ago) Mar 18
to fricas...@googlegroups.com
That looks good to me, but I would like to know what Ralf thinks.

--
Waldek Hebisch
Reply all
Reply to author
Forward
0 new messages