If SATySFi’s multi-step compilation allows something like version switch, it makes sense to have a package which exports a map from library names to library versions. Something like this:
% packages/satyrographos/experimental/libraries.satyh
type library = (|
library-name: string;
library-version : string;
|)
module Libraries : sig
val list : library list
end = struct
let list = [
(| library-name = "base";
library-version = "1.2.0";
|)
]
end
If SATySFi’s multi-step compilation allows something like version switch, it makes sense to have a package which exports a map from library names to library versions. Something like this: