search

cryspen / hacl-packages

The Cryspen HACL Distribution
https://cryspen.com/hacl-packages
Other
13 stars 18 forks source link

build: Update `config/default_config.cmake` during `mach update`. #299

Open duesee opened 1 year ago

duesee commented 1 year ago

We (probably) can just copy build/config.cmake to config/default_config.cmake during a mach update.

We could first include a check that compares both files during a default build. If we get confident that this does not introduce friction into our workflows, we could make it the default.

duesee commented 1 year ago