Open theredcomputer opened 6 years ago
Maxima is used to generate some source files. As a workaround, I suggest to generate a distribution tarball (make dist
) outside of docker. This tarball will contain the generated sources. Then, within docker, maxima will not be needed.
Attempting this gives an error.
stephen@ubuntu:~/amino/amino$ make dist
make dist-gzip am__post_remove_distdir='@:'
make[1]: Entering directory '/home/stephen/amino/amino'
make[1]: *** No rule to make target 'euler.c', needed by 'distdir'. Stop.
make[1]: Leaving directory '/home/stephen/amino/amino'
Makefile:4039: recipe for target 'dist' failed
make: *** [dist] Error 2
(Previously reply didn't get posted...)
You do need maxima to generate the sources (euler.c) for the distribution tarball.
This "issue" appears Ubuntu 16.04 and 18.04. The specific error I'm encountering occurs when running
configure
to installamino
(I realize this is the issue tracker for TMKit and not amino, but the KavrakiLab/amino repo doesn't have the ability to raise issues). The following text contains the "issue":personality
is a specific syscall. To allow the syscall to go through, I reload dockerd using this seccomp policy and then rundocker build .
.This method works, but reloading dockerd requires root privileges. Being able to compile
amino
without root in Docker would be ideal. I've tried using usingconfigure
's--without-maxima
flag, but that didn't help.