# OASIS_START
# DO NOT EDIT (digest: 74c7101d85ba97c754cd5b80df8b4dd1)
version = "1.3"
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

