utwente-fmt / vercors

The VerCors verification toolset for verifying parallel and concurrent software
https://utwente.nl/vercors
Mozilla Public License 2.0
51 stars 24 forks source link

Override all standard locations for sources in the build #1196

Open pieter-bos opened 1 month ago

pieter-bos commented 1 month ago

I got this error:

[#03] [2435/3376] vercors.hre.compile 
[#03] [error] ## Exception when compiling 41 sources to /home/pieter/vercors/out/vercors/hre/compile.dest/classes
[#03] [error] java.nio.file.FileSystemException: /home/pieter/vercors/vercors/hre/pprofProto/compile-resources: Not a directory
[#03] [error] java.base/sun.nio.fs.UnixException.translateToIOException(UnixException.java:100)

The cause is that a file vercors existed at the root of the repository, I guess this causes mill to be optimistic about compile-resources existing in the default location.