diff options
| author | Peter Sewell | 2017-02-03 14:54:22 +0000 |
|---|---|---|
| committer | Peter Sewell | 2017-02-03 14:54:22 +0000 |
| commit | fb8ca50af3bb9392b66505b28ba718c90f8ab0ab (patch) | |
| tree | 5a5d7cec06bfa752633bb1cf173594c444883b07 /src/Makefile-non-opam | |
| parent | d8041f29ad728320ca763ff3852508b617592b1a (diff) | |
fix headers
Diffstat (limited to 'src/Makefile-non-opam')
| -rw-r--r-- | src/Makefile-non-opam | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/src/Makefile-non-opam b/src/Makefile-non-opam index 11f510fe..18fe6aa4 100644 --- a/src/Makefile-non-opam +++ b/src/Makefile-non-opam @@ -1,3 +1,45 @@ +########################################################################## +# Sail # +# # +# Copyright (c) 2013-2017 # +# Kathyrn Gray # +# Shaked Flur # +# Stephen Kell # +# Gabriel Kerneis # +# Robert Norton-Wright # +# Christopher Pulte # +# Peter Sewell # +# # +# All rights reserved. # +# # +# This software was developed by the University of Cambridge Computer # +# Laboratory as part of the Rigorous Engineering of Mainstream Systems # +# (REMS) project, funded by EPSRC grant EP/K008528/1. # +# # +# 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 AUTHOR 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 AUTHOR 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. # +########################################################################## + THIS_MAKEFILE := $(lastword $(MAKEFILE_LIST)) # NOTE: it matters that this path is *not* canonicalised (realpath'd). # If we realpath it, the ocaml deps files will include realpaths, and |