[Pkg-ocaml-maint-commits] r3637 - in /trunk/packages/why: trunk/ trunk/debian/ upstream/

smimram at users.alioth.debian.org smimram at users.alioth.debian.org
Sat Mar 24 12:31:14 CET 2007


Author: smimram
Date: Sat Mar 24 11:31:02 2007
New Revision: 3637

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3637
Log:
Initial import of the package.

Added:
    trunk/packages/why/trunk/
    trunk/packages/why/trunk/debian/   (with props)
    trunk/packages/why/trunk/debian/changelog
    trunk/packages/why/trunk/debian/compat
    trunk/packages/why/trunk/debian/control
    trunk/packages/why/trunk/debian/copyright
    trunk/packages/why/trunk/debian/docs
    trunk/packages/why/trunk/debian/purify_tarball   (with props)
    trunk/packages/why/trunk/debian/rules   (with props)
    trunk/packages/why/trunk/debian/svn-deblayout
    trunk/packages/why/trunk/debian/watch
    trunk/packages/why/upstream/
    trunk/packages/why/upstream/why_2.02.dfsg.orig.tar.gz   (with props)

Propchange: trunk/packages/why/trunk/debian/
------------------------------------------------------------------------------
    mergeWithUpstream = 1

Added: trunk/packages/why/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/changelog?rev=3637&op=file
==============================================================================
--- trunk/packages/why/trunk/debian/changelog (added)
+++ trunk/packages/why/trunk/debian/changelog Sat Mar 24 11:31:02 2007
@@ -1,0 +1,6 @@
+why (2.02.dfsg-1) unstable; urgency=low
+
+  * Initial release, closes: #415862.
+  * Removed octagon since it is not DFSG-free.
+
+ -- Samuel Mimram <smimram at debian.org>  Thu, 22 Mar 2007 21:02:49 +0100

Added: trunk/packages/why/trunk/debian/compat
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/compat?rev=3637&op=file
==============================================================================
--- trunk/packages/why/trunk/debian/compat (added)
+++ trunk/packages/why/trunk/debian/compat Sat Mar 24 11:31:02 2007
@@ -1,0 +1,1 @@
+5

Added: trunk/packages/why/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/control?rev=3637&op=file
==============================================================================
--- trunk/packages/why/trunk/debian/control (added)
+++ trunk/packages/why/trunk/debian/control Sat Mar 24 11:31:02 2007
@@ -1,0 +1,18 @@
+Source: why
+Section: math
+Priority: optional
+Maintainer: Samuel Mimram <smimram at debian.org>
+Build-Depends: debhelper (>= 5), autotools-dev, ocaml-nox, liblablgtk2-ocaml-dev, coq, ocamlweb
+Standards-Version: 3.7.2
+
+Package: why
+Architecture: any
+Depends: ${shlibs:Depends}
+Suggests: coq
+Description: A software verification tool
+ Why aims at being a verification conditions generator (VCG) back-end
+ for other verification tools. It provides a powerful input language
+ including higher-order functions, polymorphism, references, arrays and
+ exceptions. It generates proof obligations for many systems: the proof
+ assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the
+ decision procedures Simplify, Ergo, Yices, CVC Lite and haRVey.

Added: trunk/packages/why/trunk/debian/copyright
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/copyright?rev=3637&op=file
==============================================================================
--- trunk/packages/why/trunk/debian/copyright (added)
+++ trunk/packages/why/trunk/debian/copyright Sat Mar 24 11:31:02 2007
@@ -1,0 +1,30 @@
+This package was debianized by Samuel Mimram <smimram at debian.org> on
+Thu, 22 Mar 2007 21:02:49 +0100.
+
+It was downloaded from http://why.lri.fr/
+
+Upstream Author: Jean-Christophe Filliâtre <Jean-Christophe.Filliatre at lri.fr>
+
+Copyright (C) 2002-2007 Jean-Christophe Filliâtre
+
+License:
+
+   This package is free software; you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 2 of the License, or
+   (at your option) any later version.
+
+   This package is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this package; if not, write to the Free Software
+   Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
+
+On Debian systems, the complete text of the GNU General
+Public License can be found in `/usr/share/common-licenses/GPL'.
+
+The Debian packaging is (C) 2007, Samuel Mimram <smimram at debian.org> and
+is licensed under the GPL, see above.

Added: trunk/packages/why/trunk/debian/docs
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/docs?rev=3637&op=file
==============================================================================
--- trunk/packages/why/trunk/debian/docs (added)
+++ trunk/packages/why/trunk/debian/docs Sat Mar 24 11:31:02 2007
@@ -1,0 +1,1 @@
+README

Added: trunk/packages/why/trunk/debian/purify_tarball
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/purify_tarball?rev=3637&op=file
==============================================================================
--- trunk/packages/why/trunk/debian/purify_tarball (added)
+++ trunk/packages/why/trunk/debian/purify_tarball Sat Mar 24 11:31:02 2007
@@ -1,0 +1,21 @@
+#!/bin/sh
+
+set -e
+
+CURDIR=`pwd`
+ORIG=$1
+WORKDIR=`dirname $ORIG`
+ORIGFILE=`basename $ORIG`
+VERSION=`echo "$ORIGFILE" | sed "s/^why-\([0-9\.]\+\)\.tar\.gz$/\1/"`
+
+cd $WORKDIR
+
+tar zxf $ORIGFILE
+
+rm -rf why-$VERSION/octagon
+mkdir -p why-$VERSION/octagon/ocamllib
+
+tar zcf why_$VERSION.dfsg.orig.tar.gz why-$VERSION/
+rm -rf why-$VERSION
+
+cd $CURDIR

Propchange: trunk/packages/why/trunk/debian/purify_tarball
------------------------------------------------------------------------------
    svn:executable = *

Added: trunk/packages/why/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/rules?rev=3637&op=file
==============================================================================
--- trunk/packages/why/trunk/debian/rules (added)
+++ trunk/packages/why/trunk/debian/rules Sat Mar 24 11:31:02 2007
@@ -1,0 +1,85 @@
+#!/usr/bin/make -f
+# -*- makefile -*-
+# Sample debian/rules that uses debhelper.
+# This file was originally written by Joey Hess and Craig Small.
+# As a special exception, when this file is copied by dh-make into a
+# dh-make output file, you may use that output file without restriction.
+# This special exception was added by Craig Small in version 0.37 of dh-make.
+
+# Uncomment this to turn on verbose mode.
+#export DH_VERBOSE=1
+
+
+# These are used for cross-compiling and for saving the configure script
+# from having to guess our platform (since we know it already)
+DEB_HOST_GNU_TYPE   ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)
+DEB_BUILD_GNU_TYPE  ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
+
+
+CFLAGS = -Wall -g
+
+ifneq (,$(findstring noopt,$(DEB_BUILD_OPTIONS)))
+	CFLAGS += -O0
+else
+	CFLAGS += -O2
+endif
+
+config.status: configure
+	dh_testdir
+	./configure \
+	    --host=$(DEB_HOST_GNU_TYPE) \
+	    --build=$(DEB_BUILD_GNU_TYPE) \
+	    --prefix=/usr \
+	    --mandir=\$${prefix}/share/man \
+	    --infodir=\$${prefix}/share/info CFLAGS="$(CFLAGS)" \
+	    LDFLAGS="-Wl,-z,defs"
+
+build: build-stamp
+build-stamp: config.status
+	dh_testdir
+	$(MAKE)
+	touch $@
+
+clean:
+	dh_testdir
+	dh_testroot
+	rm -f build-stamp
+
+	-$(MAKE) clean
+	rm -f bin/* bench/bench
+	rm -f config.status
+
+	dh_clean
+
+install: build
+	dh_testdir
+	dh_testroot
+	dh_clean -k
+	dh_installdirs
+
+	$(MAKE) prefix=$(CURDIR)/debian/why/usr install COQLIB=$(CURDIR)/debian/why/usr/lib/coq
+
+# Build architecture-independent files here.
+binary-indep: build install
+
+# Build architecture-dependent files here.
+binary-arch: build install
+	dh_testdir
+	dh_testroot
+	dh_installchangelogs CHANGES
+	dh_installdocs
+	dh_installexamples
+	dh_install
+	dh_installman
+	dh_link
+	dh_strip
+	dh_compress
+	dh_fixperms
+	dh_installdeb
+	dh_shlibdeps
+	dh_gencontrol
+	dh_md5sums
+	dh_builddeb
+
+binary: binary-indep binary-arch
+.PHONY: build clean binary-indep binary-arch binary install

Propchange: trunk/packages/why/trunk/debian/rules
------------------------------------------------------------------------------
    svn:executable = *

Added: trunk/packages/why/trunk/debian/svn-deblayout
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/svn-deblayout?rev=3637&op=file
==============================================================================
--- trunk/packages/why/trunk/debian/svn-deblayout (added)
+++ trunk/packages/why/trunk/debian/svn-deblayout Sat Mar 24 11:31:02 2007
@@ -1,0 +1,3 @@
+origDir=../upstream
+origUrl=svn+ssh://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/why/upstream
+tagsUrl=svn+ssh://svn.debian.org/svn/pkg-ocaml-maint/tags/packages/why

Added: trunk/packages/why/trunk/debian/watch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/watch?rev=3637&op=file
==============================================================================
--- trunk/packages/why/trunk/debian/watch (added)
+++ trunk/packages/why/trunk/debian/watch Sat Mar 24 11:31:02 2007
@@ -1,0 +1,3 @@
+version=3
+
+http://www.lri.fr/~filliatr/ftp/why/ why-([0-9\.]*)\.tar\.gz

Added: trunk/packages/why/upstream/why_2.02.dfsg.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/upstream/why_2.02.dfsg.orig.tar.gz?rev=3637&op=file
==============================================================================
Binary file - no diff available.

Propchange: trunk/packages/why/upstream/why_2.02.dfsg.orig.tar.gz
------------------------------------------------------------------------------
    svn:mime-type = application/octet-stream




More information about the Pkg-ocaml-maint-commits mailing list