codespecs / daikon

Dynamic detection of likely invariants
http://plse.cs.washington.edu/daikon/
Other
214 stars 54 forks source link

Inconsistent documentation for compiling Daikon locally #538

Closed jyoo980 closed 3 months ago

jyoo980 commented 4 months ago

The instructions to install Daikon from a tar file here mention that to compile Daikon locally, the user must satisfy the requirements in the Daikon manual.

The compilation requirements state that required dependencies are listed in:

$DAIKONDIR/scripts/Dockerfile-OSNAME-jdkN-plus

However, these scripts are not distributed with the tar file; only in the actual source code repository, which is not where the user is likely to have read the original instructions.