Open djbpitt opened 5 years ago
Yes. 'Cause I haven't tested it without a local BaseX installation. (Yet.)
We should either comment out the line in the Dockerfile, or restore the subdirectory so the copy succeeds. (And double check .gitignore.) It can probably be empty. The subdirectory in BaseX is meant, I think, for XQuery modules, which we do not have, but which we might have some day.
Builds on 2019-02-01, commit #7f37790.
I'm leaving the issue open because we need to see whether it will still build with a reduced footprint.
After deleting all Docker containers, cloning the repo, verifying that the master branch is checked out, and building anew (MacOS Mojave), the build fails, as follows:
I think it fails because basex/repo does not yet exist, so the copy in step 7 fails.