Skip to content

Commit 5401ce8

Browse files
damiendoligezdamiendoligez
committed
Update headers for the new license.
Remains to be done: remove all headers in testsuite/tests.
1 parent 6e794ae commit 5401ce8

File tree

1,607 files changed

+20622
-16938
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

1,607 files changed

+20622
-16938
lines changed

‎.gitattributes

+18-4
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,18 @@
1+
#**************************************************************************
2+
#* *
3+
#* OCaml *
4+
#* *
5+
#* Damien Doligez, projet Gallium, INRIA *
6+
#* *
7+
#* Copyright 2015 Institut National de Recherche en Informatique et *
8+
#* en Automatique. *
9+
#* *
10+
#* All rights reserved. This file is distributed under the terms of *
11+
#* the GNU Lesser General Public License version 2.1, with the *
12+
#* special exception on linking described in the file LICENSE. *
13+
#* *
14+
#**************************************************************************
15+
116
# Default behaviour, for if core.autocrlf isn't set
217
* text=auto
318

@@ -14,8 +29,6 @@ boot/ocamldep binary
1429
README* ocaml-typo=missing-header
1530
*.adoc ocaml-typo=missing-header,long-line,unused-prop
1631

17-
/.gitattributes ocaml-typo=missing-header
18-
/.gitignore ocaml-typo=missing-header
1932
/.merlin ocaml-typo=missing-header
2033
/Changes ocaml-typo=non-ascii,missing-header
2134
/INSTALL ocaml-typo=missing-header
@@ -52,10 +65,11 @@ otherlibs/win32unix/symlink.c ocaml-typo=long-line
5265

5366
stdlib/sharpbang ocaml-typo=white-at-eol,missing-lf
5467

55-
# FIXME remove headers in testsuite and remove unused-prop in next line:
56-
testsuite/** ocaml-typo=missing-header,unused-prop
68+
# FIXME remove headers in testsuite/tests and remove unused-prop in next line:
69+
testsuite/tests/** ocaml-typo=missing-header,unused-prop
5770
testsuite/tests/lib-bigarray-2/bigarrf.f ocaml-typo=missing-header,tab
5871
testsuite/tests/misc-unsafe/almabench.ml ocaml-typo=missing-header,long-line
72+
testsuite/typing ocaml-typo=missing-header
5973

6074
tools/magic ocaml-typo=missing-header
6175

‎.gitignore

+15
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,18 @@
1+
#**************************************************************************
2+
#* *
3+
#* OCaml *
4+
#* *
5+
#* Damien Doligez, projet Gallium, INRIA *
6+
#* *
7+
#* Copyright 2015 Institut National de Recherche en Informatique et *
8+
#* en Automatique. *
9+
#* *
10+
#* All rights reserved. This file is distributed under the terms of *
11+
#* the GNU Lesser General Public License version 2.1, with the *
12+
#* special exception on linking described in the file LICENSE. *
13+
#* *
14+
#**************************************************************************
15+
116
# general patterns
217

318
*.o

‎.travis-ci.sh

+14-11
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,17 @@
1-
#########################################################################
2-
# #
3-
# OCaml #
4-
# #
5-
# Anil Madhavapeddy, OCaml Labs #
6-
# #
7-
# Copyright 2014 Institut National de Recherche en Informatique et #
8-
# en Automatique. All rights reserved. This file is distributed #
9-
# under the terms of the Q Public License version 1.0. #
10-
# #
11-
#########################################################################
1+
#**************************************************************************
2+
#* *
3+
#* OCaml *
4+
#* *
5+
#* Anil Madhavapeddy, OCaml Labs *
6+
#* *
7+
#* Copyright 2014 Institut National de Recherche en Informatique et *
8+
#* en Automatique. *
9+
#* *
10+
#* All rights reserved. This file is distributed under the terms of *
11+
#* the GNU Lesser General Public License version 2.1, with the *
12+
#* special exception on linking described in the file LICENSE. *
13+
#* *
14+
#**************************************************************************
1215

1316
PREFIX=~/local
1417

‎.travis.yml

+14-11
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,17 @@
1-
#########################################################################
2-
# #
3-
# OCaml #
4-
# #
5-
# Anil Madhavapeddy, OCaml Labs #
6-
# #
7-
# Copyright 2014 Institut National de Recherche en Informatique et #
8-
# en Automatique. All rights reserved. This file is distributed #
9-
# under the terms of the Q Public License version 1.0. #
10-
# #
11-
#########################################################################
1+
#**************************************************************************
2+
#* *
3+
#* OCaml *
4+
#* *
5+
#* Anil Madhavapeddy, OCaml Labs *
6+
#* *
7+
#* Copyright 2014 Institut National de Recherche en Informatique et *
8+
#* en Automatique. *
9+
#* *
10+
#* All rights reserved. This file is distributed under the terms of *
11+
#* the GNU Lesser General Public License version 2.1, with the *
12+
#* special exception on linking described in the file LICENSE. *
13+
#* *
14+
#**************************************************************************
1215

1316
sudo: false
1417
language: c

‎Makefile

+14-11
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,17 @@
1-
#########################################################################
2-
# #
3-
# OCaml #
4-
# #
5-
# Xavier Leroy, projet Cristal, INRIA Rocquencourt #
6-
# #
7-
# Copyright 1999 Institut National de Recherche en Informatique et #
8-
# en Automatique. All rights reserved. This file is distributed #
9-
# under the terms of the Q Public License version 1.0. #
10-
# #
11-
#########################################################################
1+
#**************************************************************************
2+
#* *
3+
#* OCaml *
4+
#* *
5+
#* Xavier Leroy, projet Cristal, INRIA Rocquencourt *
6+
#* *
7+
#* Copyright 1999 Institut National de Recherche en Informatique et *
8+
#* en Automatique. *
9+
#* *
10+
#* All rights reserved. This file is distributed under the terms of *
11+
#* the GNU Lesser General Public License version 2.1, with the *
12+
#* special exception on linking described in the file LICENSE. *
13+
#* *
14+
#**************************************************************************
1215

1316
# The main Makefile
1417

‎Makefile.nt

+14-11
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,17 @@
1-
#########################################################################
2-
# #
3-
# OCaml #
4-
# #
5-
# Xavier Leroy, projet Cristal, INRIA Rocquencourt #
6-
# #
7-
# Copyright 1999 Institut National de Recherche en Informatique et #
8-
# en Automatique. All rights reserved. This file is distributed #
9-
# under the terms of the Q Public License version 1.0. #
10-
# #
11-
#########################################################################
1+
#**************************************************************************
2+
#* *
3+
#* OCaml *
4+
#* *
5+
#* Xavier Leroy, projet Cristal, INRIA Rocquencourt *
6+
#* *
7+
#* Copyright 1999 Institut National de Recherche en Informatique et *
8+
#* en Automatique. *
9+
#* *
10+
#* All rights reserved. This file is distributed under the terms of *
11+
#* the GNU Lesser General Public License version 2.1, with the *
12+
#* special exception on linking described in the file LICENSE. *
13+
#* *
14+
#**************************************************************************
1215

1316
# The main Makefile
1417

‎Makefile.shared

+16-11
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,17 @@
1-
#########################################################################
2-
# #
3-
# OCaml #
4-
# #
5-
# Xavier Leroy, projet Cristal, INRIA Rocquencourt #
6-
# #
7-
# Copyright 1999 Institut National de Recherche en Informatique et #
8-
# en Automatique. All rights reserved. This file is distributed #
9-
# under the terms of the Q Public License version 1.0. #
10-
# #
11-
#########################################################################
1+
#**************************************************************************
2+
#* *
3+
#* OCaml *
4+
#* *
5+
#* Xavier Leroy, projet Cristal, INRIA Rocquencourt *
6+
#* *
7+
#* Copyright 1999 Institut National de Recherche en Informatique et *
8+
#* en Automatique. *
9+
#* *
10+
#* All rights reserved. This file is distributed under the terms of *
11+
#* the GNU Lesser General Public License version 2.1, with the *
12+
#* special exception on linking described in the file LICENSE. *
13+
#* *
14+
#**************************************************************************
1215

1316
# The main Makefile, fragments shared between Makefile and Makefile.nt
1417

@@ -213,6 +216,8 @@ PERVASIVES=$(STDLIB_MODULES) outcometree topdirs toploop
213216

214217
compilerlibs/ocamlmiddleend.cma: $(MIDDLE_END)
215218
$(CAMLC) -a -o $@ $(MIDDLE_END)
219+
partialclean::
220+
rm -f compilerlibs/ocamlmiddleend.cma
216221

217222

218223
# Tools

‎asmcomp/CSEgen.ml

+14-11
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,17 @@
1-
(***********************************************************************)
2-
(* *)
3-
(* OCaml *)
4-
(* *)
5-
(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
6-
(* *)
7-
(* Copyright 2014 Institut National de Recherche en Informatique et *)
8-
(* en Automatique. All rights reserved. This file is distributed *)
9-
(* under the terms of the Q Public License version 1.0. *)
10-
(* *)
11-
(***********************************************************************)
1+
(**************************************************************************)
2+
(* *)
3+
(* OCaml *)
4+
(* *)
5+
(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
6+
(* *)
7+
(* Copyright 2014 Institut National de Recherche en Informatique et *)
8+
(* en Automatique. *)
9+
(* *)
10+
(* All rights reserved. This file is distributed under the terms of *)
11+
(* the GNU Lesser General Public License version 2.1, with the *)
12+
(* special exception on linking described in the file LICENSE. *)
13+
(* *)
14+
(**************************************************************************)
1215

1316
(* Common subexpression elimination by value numbering over extended
1417
basic blocks. *)

‎asmcomp/CSEgen.mli

+14-11
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,17 @@
1-
(***********************************************************************)
2-
(* *)
3-
(* OCaml *)
4-
(* *)
5-
(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
6-
(* *)
7-
(* Copyright 2014 Institut National de Recherche en Informatique et *)
8-
(* en Automatique. All rights reserved. This file is distributed *)
9-
(* under the terms of the Q Public License version 1.0. *)
10-
(* *)
11-
(***********************************************************************)
1+
(**************************************************************************)
2+
(* *)
3+
(* OCaml *)
4+
(* *)
5+
(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
6+
(* *)
7+
(* Copyright 2014 Institut National de Recherche en Informatique et *)
8+
(* en Automatique. *)
9+
(* *)
10+
(* All rights reserved. This file is distributed under the terms of *)
11+
(* the GNU Lesser General Public License version 2.1, with the *)
12+
(* special exception on linking described in the file LICENSE. *)
13+
(* *)
14+
(**************************************************************************)
1215

1316
(* Common subexpression elimination by value numbering over extended
1417
basic blocks. *)

‎asmcomp/amd64/CSE.ml

+14-11
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,17 @@
1-
(***********************************************************************)
2-
(* *)
3-
(* OCaml *)
4-
(* *)
5-
(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
6-
(* *)
7-
(* Copyright 2014 Institut National de Recherche en Informatique et *)
8-
(* en Automatique. All rights reserved. This file is distributed *)
9-
(* under the terms of the Q Public License version 1.0. *)
10-
(* *)
11-
(***********************************************************************)
1+
(**************************************************************************)
2+
(* *)
3+
(* OCaml *)
4+
(* *)
5+
(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
6+
(* *)
7+
(* Copyright 2014 Institut National de Recherche en Informatique et *)
8+
(* en Automatique. *)
9+
(* *)
10+
(* All rights reserved. This file is distributed under the terms of *)
11+
(* the GNU Lesser General Public License version 2.1, with the *)
12+
(* special exception on linking described in the file LICENSE. *)
13+
(* *)
14+
(**************************************************************************)
1215

1316
(* CSE for the AMD64 *)
1417

0 commit comments

Comments
 (0)