Skip to content

Commit

Permalink
Update headers for the new license.
Browse files Browse the repository at this point in the history 
Remains to be done: remove all headers in testsuite/tests.
  • Loading branch information
@damiendoligez
damiendoligez committed Feb 18, 2016
1 parent 6e794ae commit 5401ce8
Show file tree
Hide file tree
Showing 1,607 changed files with 20,622 additions and 16,938 deletions.
22 changes: 18 additions & 4 deletions .gitattributes
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,18 @@
#**************************************************************************
#* *
#* OCaml *
#* *
#* Damien Doligez, projet Gallium, INRIA *
#* *
#* Copyright 2015 Institut National de Recherche en Informatique et *
#* en Automatique. *
#* *
#* All rights reserved. This file is distributed under the terms of *
#* the GNU Lesser General Public License version 2.1, with the *
#* special exception on linking described in the file LICENSE. *
#* *
#**************************************************************************

# Default behaviour, for if core.autocrlf isn't set
* text=auto

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

/.gitattributes ocaml-typo=missing-header
/.gitignore ocaml-typo=missing-header
/.merlin ocaml-typo=missing-header
/Changes ocaml-typo=non-ascii,missing-header
/INSTALL ocaml-typo=missing-header
Expand Down Expand Up @@ -52,10 +65,11 @@ otherlibs/win32unix/symlink.c ocaml-typo=long-line

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

# FIXME remove headers in testsuite and remove unused-prop in next line:
testsuite/** ocaml-typo=missing-header,unused-prop
# FIXME remove headers in testsuite/tests and remove unused-prop in next line:
testsuite/tests/** ocaml-typo=missing-header,unused-prop
testsuite/tests/lib-bigarray-2/bigarrf.f ocaml-typo=missing-header,tab
testsuite/tests/misc-unsafe/almabench.ml ocaml-typo=missing-header,long-line
testsuite/typing ocaml-typo=missing-header

tools/magic ocaml-typo=missing-header

Expand Down
15 changes: 15 additions & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,18 @@
#**************************************************************************
#* *
#* OCaml *
#* *
#* Damien Doligez, projet Gallium, INRIA *
#* *
#* Copyright 2015 Institut National de Recherche en Informatique et *
#* en Automatique. *
#* *
#* All rights reserved. This file is distributed under the terms of *
#* the GNU Lesser General Public License version 2.1, with the *
#* special exception on linking described in the file LICENSE. *
#* *
#**************************************************************************

# general patterns

*.o
Expand Down
25 changes: 14 additions & 11 deletions .travis-ci.sh
View file
Original file line number Diff line number Diff line change
@@ -1,14 +1,17 @@
#########################################################################
# #
# OCaml #
# #
# Anil Madhavapeddy, OCaml Labs #
# #
# Copyright 2014 Institut National de Recherche en Informatique et #
# en Automatique. All rights reserved. This file is distributed #
# under the terms of the Q Public License version 1.0. #
# #
#########################################################################
#**************************************************************************
#* *
#* OCaml *
#* *
#* Anil Madhavapeddy, OCaml Labs *
#* *
#* Copyright 2014 Institut National de Recherche en Informatique et *
#* en Automatique. *
#* *
#* All rights reserved. This file is distributed under the terms of *
#* the GNU Lesser General Public License version 2.1, with the *
#* special exception on linking described in the file LICENSE. *
#* *
#**************************************************************************

PREFIX=~/local

Expand Down
25 changes: 14 additions & 11 deletions .travis.yml
View file
Original file line number Diff line number Diff line change
@@ -1,14 +1,17 @@
#########################################################################
# #
# OCaml #
# #
# Anil Madhavapeddy, OCaml Labs #
# #
# Copyright 2014 Institut National de Recherche en Informatique et #
# en Automatique. All rights reserved. This file is distributed #
# under the terms of the Q Public License version 1.0. #
# #
#########################################################################
#**************************************************************************
#* *
#* OCaml *
#* *
#* Anil Madhavapeddy, OCaml Labs *
#* *
#* Copyright 2014 Institut National de Recherche en Informatique et *
#* en Automatique. *
#* *
#* All rights reserved. This file is distributed under the terms of *
#* the GNU Lesser General Public License version 2.1, with the *
#* special exception on linking described in the file LICENSE. *
#* *
#**************************************************************************

sudo: false
language: c
Expand Down
25 changes: 14 additions & 11 deletions Makefile
View file
Original file line number Diff line number Diff line change
@@ -1,14 +1,17 @@
#########################################################################
# #
# OCaml #
# #
# Xavier Leroy, projet Cristal, INRIA Rocquencourt #
# #
# Copyright 1999 Institut National de Recherche en Informatique et #
# en Automatique. All rights reserved. This file is distributed #
# under the terms of the Q Public License version 1.0. #
# #
#########################################################################
#**************************************************************************
#* *
#* OCaml *
#* *
#* Xavier Leroy, projet Cristal, INRIA Rocquencourt *
#* *
#* Copyright 1999 Institut National de Recherche en Informatique et *
#* en Automatique. *
#* *
#* All rights reserved. This file is distributed under the terms of *
#* the GNU Lesser General Public License version 2.1, with the *
#* special exception on linking described in the file LICENSE. *
#* *
#**************************************************************************

# The main Makefile

Expand Down
25 changes: 14 additions & 11 deletions Makefile.nt
View file
Original file line number Diff line number Diff line change
@@ -1,14 +1,17 @@
#########################################################################
# #
# OCaml #
# #
# Xavier Leroy, projet Cristal, INRIA Rocquencourt #
# #
# Copyright 1999 Institut National de Recherche en Informatique et #
# en Automatique. All rights reserved. This file is distributed #
# under the terms of the Q Public License version 1.0. #
# #
#########################################################################
#**************************************************************************
#* *
#* OCaml *
#* *
#* Xavier Leroy, projet Cristal, INRIA Rocquencourt *
#* *
#* Copyright 1999 Institut National de Recherche en Informatique et *
#* en Automatique. *
#* *
#* All rights reserved. This file is distributed under the terms of *
#* the GNU Lesser General Public License version 2.1, with the *
#* special exception on linking described in the file LICENSE. *
#* *
#**************************************************************************

# The main Makefile

Expand Down
27 changes: 16 additions & 11 deletions Makefile.shared
View file
Original file line number Diff line number Diff line change
@@ -1,14 +1,17 @@
#########################################################################
# #
# OCaml #
# #
# Xavier Leroy, projet Cristal, INRIA Rocquencourt #
# #
# Copyright 1999 Institut National de Recherche en Informatique et #
# en Automatique. All rights reserved. This file is distributed #
# under the terms of the Q Public License version 1.0. #
# #
#########################################################################
#**************************************************************************
#* *
#* OCaml *
#* *
#* Xavier Leroy, projet Cristal, INRIA Rocquencourt *
#* *
#* Copyright 1999 Institut National de Recherche en Informatique et *
#* en Automatique. *
#* *
#* All rights reserved. This file is distributed under the terms of *
#* the GNU Lesser General Public License version 2.1, with the *
#* special exception on linking described in the file LICENSE. *
#* *
#**************************************************************************

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

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

compilerlibs/ocamlmiddleend.cma: $(MIDDLE_END)
$(CAMLC) -a -o $@ $(MIDDLE_END)
partialclean::
rm -f compilerlibs/ocamlmiddleend.cma


# Tools
Expand Down
25 changes: 14 additions & 11 deletions asmcomp/CSEgen.ml
View file
Original file line number Diff line number Diff line change
@@ -1,14 +1,17 @@
(***********************************************************************)
(* *)
(* OCaml *)
(* *)
(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
(* *)
(* Copyright 2014 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the Q Public License version 1.0. *)
(* *)
(***********************************************************************)
(**************************************************************************)
(* *)
(* OCaml *)
(* *)
(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
(* *)
(* Copyright 2014 Institut National de Recherche en Informatique et *)
(* en Automatique. *)
(* *)
(* All rights reserved. This file is distributed under the terms of *)
(* the GNU Lesser General Public License version 2.1, with the *)
(* special exception on linking described in the file LICENSE. *)
(* *)
(**************************************************************************)

(* Common subexpression elimination by value numbering over extended
basic blocks. *)
Expand Down
25 changes: 14 additions & 11 deletions asmcomp/CSEgen.mli
View file
Original file line number Diff line number Diff line change
@@ -1,14 +1,17 @@
(***********************************************************************)
(* *)
(* OCaml *)
(* *)
(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
(* *)
(* Copyright 2014 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the Q Public License version 1.0. *)
(* *)
(***********************************************************************)
(**************************************************************************)
(* *)
(* OCaml *)
(* *)
(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
(* *)
(* Copyright 2014 Institut National de Recherche en Informatique et *)
(* en Automatique. *)
(* *)
(* All rights reserved. This file is distributed under the terms of *)
(* the GNU Lesser General Public License version 2.1, with the *)
(* special exception on linking described in the file LICENSE. *)
(* *)
(**************************************************************************)

(* Common subexpression elimination by value numbering over extended
basic blocks. *)
Expand Down
25 changes: 14 additions & 11 deletions asmcomp/amd64/CSE.ml
View file
Original file line number Diff line number Diff line change
@@ -1,14 +1,17 @@
(***********************************************************************)
(* *)
(* OCaml *)
(* *)
(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
(* *)
(* Copyright 2014 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the Q Public License version 1.0. *)
(* *)
(***********************************************************************)
(**************************************************************************)
(* *)
(* OCaml *)
(* *)
(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
(* *)
(* Copyright 2014 Institut National de Recherche en Informatique et *)
(* en Automatique. *)
(* *)
(* All rights reserved. This file is distributed under the terms of *)
(* the GNU Lesser General Public License version 2.1, with the *)
(* special exception on linking described in the file LICENSE. *)
(* *)
(**************************************************************************)

(* CSE for the AMD64 *)

Expand Down
Loading

0 comments on commit 5401ce8

Please sign in to comment.