upstream: https://github.com/mirage/mirage-crypto
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #133 from hannesm/multicore

multicore requires c11 (using the _Atomic keyword in typedefs)

authored by

Hannes Mehnert and committed by
GitHub
b2b19dcc 60b644fc

+1 -1
+1 -1
config/cfg.ml
··· 1 - let std_flags = ["--std=c99"; "-Wall"; "-Wextra"; "-Wpedantic"; "-O3"] 1 + let std_flags = ["--std=c11"; "-Wall"; "-Wextra"; "-Wpedantic"; "-O3"] 2 2 3 3 let () = 4 4 let c = Configurator.V1.create "mirage-crypto" in