dune.opts: disable auto-detection of CPU features by default (for Vc) (!46) · Merge requests · docker / CI Images · GitLab

Ansgar Burchardt requested to merge disable-cpu-auto-detection-for-vc into master Jun 11, 2019

Reference: https://lists.dune-project.org/pipermail/dune-devel/2019-June/002456.html