[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