Mentions légales du service

Skip to content
Snippets Groups Projects
Commit e7b02042 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Rename feat to vendored_feat and let it depend on vendored_fix.

parent 4eb2aafb
No related branches found
No related tags found
No related merge requests found
(* The library fix has been renamed vendored_fix so as to prevent Dune
from complaining about a conflict with a copy of fix that might be
installed on the user's system. *)
(* As a result, the library is now accessible under the name Vendored_fix.
Because we do not want to pollute our sources with this name, we define the
module Fix as an alias for Vendored_fix. *)
include Vendored_fix
(library (library
(name feat) (name vendored_feat)
(public_name feat) (public_name vendored_feat)
(synopsis "Facilities for enumerating and sampling algebraic data types") (synopsis "Facilities for enumerating and sampling algebraic data types")
(flags "-w" "A-44") (flags "-w" "A-44")
(libraries seq zarith fix) (libraries seq zarith vendored_fix)
) )
name: "feat" name: "vendored_feat"
opam-version: "2.0" opam-version: "2.0"
maintainer: "francois.pottier@inria.fr" maintainer: "francois.pottier@inria.fr"
authors: [ authors: [
......
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