# OASIS_START
# DO NOT EDIT (digest: 5091eca77532839fb5e7c1d1aabd8775)
version = "1.2"
description = "Benchmark running times of code."
requires = "unix"
archive(byte) = "benchmark.cma"
archive(byte, plugin) = "benchmark.cma"
archive(native) = "benchmark.cmxa"
archive(native, plugin) = "benchmark.cmxs"
exists_if = "benchmark.cma"
# OASIS_STOP

