Skip to content
Snippets Groups Projects
Commit 1818dc92 authored by erwan's avatar erwan
Browse files

Build: use dune instead of oasis

parent 0d6c37e1
No related branches found
No related tags found
No related merge requests found
This diff is collapsed.
# OASIS_START
# DO NOT EDIT (digest: 64ccb3e4daf703dc6f470425eb24347c)
version = "1.49.5"
description = "shared by Verimag/synchronous tools (lustre, lutin, rdbg)."
requires = "unix str num"
archive(byte) = "lutils.cma"
archive(byte, plugin) = "lutils.cma"
archive(native) = "lutils.cmxa"
archive(native, plugin) = "lutils.cmxs"
exists_if = "lutils.cma"
# OASIS_STOP
# OASIS_START
# DO NOT EDIT (digest: e5caefa2b739fcc2fe051e5e6488ee4e)
RifIO
Data
LocalGenlex
GnuplotRif
Mypervasives
Luciole
LutilsVersion
# OASIS_STOP
# OASIS_START
# DO NOT EDIT (digest: e5caefa2b739fcc2fe051e5e6488ee4e)
RifIO
Data
LocalGenlex
GnuplotRif
Mypervasives
Luciole
LutilsVersion
# OASIS_STOP
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment