diff --git a/COPYING b/COPYING new file mode 100644 index 0000000000000000000000000000000000000000..0946e20686d773ad6d92a21287c168309fe11c64 --- /dev/null +++ b/COPYING @@ -0,0 +1,24 @@ +BSD 2-Clause License + +Copyright (c) 2020, Thierry Martinez. +All rights reserved. + +Redistribution and use in source and binary forms, with or without +modification, are permitted provided that the following conditions are met: + +1. Redistributions of source code must retain the above copyright notice, this + list of conditions and the following disclaimer. +2. Redistributions in binary form must reproduce the above copyright notice, + this list of conditions and the following disclaimer in the documentation + and/or other materials provided with the distribution. + +THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND +ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED +WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE +DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR +ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES +(INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; +LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND +ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT +(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS +SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. diff --git a/clangml-transforms.opam b/clangml-transforms.opam index 0c7c2b135cf8eb96b9324d7f7a9eac49e15785ef..cfb906b0b27122a3832786067d47617a753c5590 100644 --- a/clangml-transforms.opam +++ b/clangml-transforms.opam @@ -3,7 +3,7 @@ opam-version: "2.0" synopsis: "Code transformers for clangml" maintainer: ["Thierry Martinez <thierry.martinez@inria.fr>"] authors: ["Thierry Martinez <thierry.martinez@inria.fr>"] -license: "BSD" +license: "BSD-2-Clause" homepage: "https://gitlab.inria.fr/memcad/clangml-transforms" doc: "https://gitlab.inria.fr/memcad/clangml-transforms" bug-reports: "https://gitlab.inria.fr/memcad/clangml-transforms/issues" @@ -12,7 +12,8 @@ depends: [ "dune" {>= "2.2.0"} "clangml" {>= "4.1.0"} "dolog" {>= "4.0.0"} - "traverse" {>= "0.1.0"} + "traverse" {>= "0.2.0"} + "refl" {>= "0.1.0"} ] build: [ ["dune" "subst"] {pinned} diff --git a/dune-project b/dune-project index a85866e01c5448235d4a3c7d3761a592f88202a3..99cb170bf54bdb2aa953f6bfb1be40871e3d6fad 100644 --- a/dune-project +++ b/dune-project @@ -3,7 +3,7 @@ (generate_opam_files true) (name clangml-transforms) -(license BSD) +(license BSD-2-Clause) (maintainers "Thierry Martinez <thierry.martinez@inria.fr>") (authors "Thierry Martinez <thierry.martinez@inria.fr>") (source (uri "git+https://gitlab.inria.fr/memcad/clangml-transforms")) @@ -19,4 +19,5 @@ (dune (>= 2.2.0)) (clangml (>= 4.1.0)) (dolog (>= 4.0.0)) - (traverse (>= 0.1.0)))) + (traverse (>= 0.2.0)) + (refl (>= 0.1.0))))