Closed netj closed 7 years ago
Drops Python 2 requirement and no longer ships a virtualenv but just the libraries.
NO_MINDBENDER=true make omits Mindtagger and other GUI tools.
NO_MINDBENDER=true make
Fixes bundled graphviz to output .pdf
Fixes a compiler bug that showed up quite frequently in Docker containers due to spawning too many processes:
compile-codegen: ...: wait: pid 11094 is not a child of this shell
(also mentioned in gitter)
Allows select compile-time checks to be skipped with DEEPDIVE_CHECK_SKIP.
DEEPDIVE_CHECK_SKIP
Ensure local compute driver to cope with working dirs on filesystems without named pipe support, e.g., shared folders over VM, etc.
Drops Python 2 requirement and no longer ships a virtualenv but just the libraries.
NO_MINDBENDER=true make
omits Mindtagger and other GUI tools.Fixes bundled graphviz to output .pdf
Fixes a compiler bug that showed up quite frequently in Docker containers due to spawning too many processes:
(also mentioned in gitter)
Allows select compile-time checks to be skipped with
DEEPDIVE_CHECK_SKIP
.Ensure local compute driver to cope with working dirs on filesystems without named pipe support, e.g., shared folders over VM, etc.