Makefile revision 462453d2d0c563559a4caf186db76954e563bd1a
4e2331b387b90a234dc36b12c778914d3e202718Christian Maeder# This file and its contents are supplied under the terms of the
e6d40133bc9f858308654afb1262b8b483ec5922Till Mossakowski# Common Development and Distribution License ("CDDL"), version 1.0.
d5fe06af711a6912ae028ebf873eada4ee8733f8Christian Maeder# You may only use this file in accordance with the terms of version
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maeder# 1.0 of the CDDL.
4e2331b387b90a234dc36b12c778914d3e202718Christian Maeder# A full copy of the text of the CDDL should have accompanied this
4e2331b387b90a234dc36b12c778914d3e202718Christian Maeder# source. A copy of the CDDL is also available via the Internet
57d320fc4d0fe1a1c08cfe6cd9ebec09b86c2cbfTill Mossakowski# Copyright 2011, Richard Lowe