From b2ed9cd814c6906554537323863d7b925c54c3ee Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Sat, 23 Jul 2011 08:59:13 +0200 Subject: [PATCH] initial import Ignore-this: c3d22098eda3b0189d5f1d87e6fc548 darcs-hash:20110723065913-c41ad-ee82550f02c53df93111e4c1636bb4576cc4080c --- LICENSE | 24 ++++++++++++++++++++++++ _oasis | 24 ++++++++++++++++++++++++ boring | 4 ++++ dist.sh | 8 ++++++++ predist.sh | 10 ++++++++++ 5 files changed, 70 insertions(+) create mode 100644 LICENSE create mode 100644 _oasis create mode 100644 boring create mode 100755 dist.sh create mode 100755 predist.sh diff --git a/LICENSE b/LICENSE new file mode 100644 index 0000000..6d9ae61 --- /dev/null +++ b/LICENSE @@ -0,0 +1,24 @@ +Copyright (c) 2009, Jeremie Dimino +All rights reserved. +Redistribution and use in source and binary forms, with or without +modification, are permitted provided that the following conditions are met: + + * Redistributions of source code must retain the above copyright + notice, this list of conditions and the following disclaimer. + * 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. + * Neither the name of Jeremie Dimino nor the names of his + contributors may be used to endorse or promote products derived + from this software without specific prior written permission. + +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 AND 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/_oasis b/_oasis new file mode 100644 index 0000000..1fef89f --- /dev/null +++ b/_oasis @@ -0,0 +1,24 @@ +# +-------------------------------------------------------------------+ +# | Package parameters | +# +-------------------------------------------------------------------+ + +OASISFormat: 0.1 +Name: utop +Version: 1.0 +LicenseFile: LICENSE +License: BSD3 +Authors: Jérémie Dimino +Homepage: http://utop.forge.ocamlcore.org/ +BuildTools: ocamlbuild +Plugins: DevFiles (0.2), META (0.2) +Synopsis: utop +Description: Universal toplevel for OCaml + +# +-------------------------------------------------------------------+ +# | Misc | +# +-------------------------------------------------------------------+ + +SourceRepository head + Type: darcs + Location: http://darcs.ocamlcore.org/repos/utop + Browser: http://darcs.ocamlcore.org/cgi-bin/darcsweb.cgi?r=utop;a=summary diff --git a/boring b/boring new file mode 100644 index 0000000..7185c79 --- /dev/null +++ b/boring @@ -0,0 +1,4 @@ +(^|/)_build($|/) +^utop-.*\.tar\.gz$ +^setup\.data$ +^setup\.log$ diff --git a/dist.sh b/dist.sh new file mode 100755 index 0000000..8363cf5 --- /dev/null +++ b/dist.sh @@ -0,0 +1,8 @@ +#!/bin/sh + +NAME=`oasis query Name 2> /dev/null` +VERSION=`oasis query Version 2> /dev/null` +DARCS_REPO=`pwd` +export DARCS_REPO + +exec darcs dist --dist-name $NAME-$VERSION diff --git a/predist.sh b/predist.sh new file mode 100755 index 0000000..18e4f7b --- /dev/null +++ b/predist.sh @@ -0,0 +1,10 @@ +#!/bin/sh + +# Generate CHANGES.darcs +[ -d "$DARCS_REPO" ] && darcs changes --repodir "$DARCS_REPO" > CHANGES.darcs + +# Add oasis stuff +oasis setup + +# Cleanup +rm -f predist.sh boring dist.sh