You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
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.)