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/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))))