--- cloog-0.17.0.orig/debian/cloog-isl.prerm +++ cloog-0.17.0/debian/cloog-isl.prerm @@ -0,0 +1,7 @@ +#! /bin/sh -e + +if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then + update-alternatives --quiet --remove cloog /usr/bin/cloog-isl +fi + +#DEBHELPER# --- cloog-0.17.0.orig/debian/compat +++ cloog-0.17.0/debian/compat @@ -0,0 +1 @@ +5 --- cloog-0.17.0.orig/debian/libcloog-isl3.install +++ cloog-0.17.0/debian/libcloog-isl3.install @@ -0,0 +1 @@ +usr/lib/*/lib*.so.* --- cloog-0.17.0.orig/debian/cloog-isl.install +++ cloog-0.17.0/debian/cloog-isl.install @@ -0,0 +1,2 @@ +usr/bin/* +usr/share/man/* --- cloog-0.17.0.orig/debian/rules +++ cloog-0.17.0/debian/rules @@ -0,0 +1,84 @@ +#!/usr/bin/make -f +# -*- makefile -*- + +# 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) +ifneq ($(DEB_HOST_GNU_TYPE),$(DEB_BUILD_GNU_TYPE)) +CROSS= --build $(DEB_BUILD_GNU_TYPE) --host $(DEB_HOST_GNU_TYPE) +else +CROSS= --build $(DEB_BUILD_GNU_TYPE) +endif +DEB_HOST_MULTIARCH ?= $(shell dpkg-architecture -qDEB_HOST_MULTIARCH) + +configure: configure-stamp +configure-stamp: + dh_testdir + chmod +x configure + ./configure $(CROSS) --prefix=/usr --with-isl=system --disable-silent-rules \ + --libdir=/usr/lib/$(DEB_HOST_MULTIARCH) \ + CFLAGS="$(CFLAGS)" LDFLAGS="$(LDFLAGS) -Wl,-z,defs" + touch $@ + +build: build-stamp +build-arch: build-stamp +build-indep: build-stamp +build-stamp: configure-stamp + dh_testdir + $(MAKE) +ifeq (,$(findstring nocheck,$(DEB_BUILD_OPTIONS))) + -$(MAKE) check +endif + touch $@ + +clean: + dh_testdir + dh_testroot + rm -f *-stamp + [ ! -f Makefile ] || $(MAKE) distclean + rm -f doc/*.info + rm -f cloog-isl-uninstalled.sh *.pc *.pc.in doc/gitversion.texi version.h + rm -f config.log config.status + dh_clean + +install: build + dh_testdir + dh_testroot + dh_clean -k + dh_installdirs + $(MAKE) DESTDIR=$(CURDIR)/debian/tmp install + rm -f debian/tmp/usr/share/info/dir* + mv debian/tmp/usr/bin/cloog debian/tmp/usr/bin/cloog-isl + mkdir -p debian/tmp/usr/share/man/man1 + LD_PRELOAD=$${LD_PRELOAD:+$$LD_PRELOAD:}$(CURDIR)/debian/tmp/usr/lib/$(DEB_HOST_MULTIARCH)/libcloog-isl.so.3 \ + PATH=$(CURDIR)/debian/tmp/usr/bin:$$PATH \ + help2man -n 'The Chunky Loop Genertor' cloog-isl \ + > debian/tmp/usr/share/man/man1/cloog-isl.1 + dh_install --sourcedir=debian/tmp --list-missing + + +# Build architecture-independent files here. +binary-indep: build install +# We have nothing to do by default. + +# Build architecture-dependent files here. +binary-arch: build install + dh_testdir + dh_testroot + dh_installchangelogs + dh_installdocs + dh_installinfo + dh_installman + dh_strip + dh_compress + dh_fixperms + dh_makeshlibs + dh_installdeb + dh_shlibdeps + dh_gencontrol + dh_md5sums + dh_builddeb + +binary: binary-indep binary-arch +.PHONY: build clean binary-indep binary-arch binary install --- cloog-0.17.0.orig/debian/cloog-isl.postinst +++ cloog-0.17.0/debian/cloog-isl.postinst @@ -0,0 +1,12 @@ +#! /bin/sh + +set -e + +case "$1" in configure) + if [ -z "$2" ]; then + update-alternatives --quiet --install /usr/bin/cloog cloog /usr/bin/cloog-isl 20 \ + --slave /usr/share/man/man1/cloog.1.gz cloog.1.gz /usr/share/man/man1/cloog-isl.1.gz + fi +esac + +#DEBHELPER# --- cloog-0.17.0.orig/debian/control +++ cloog-0.17.0/debian/control @@ -0,0 +1,43 @@ +Source: cloog +Priority: optional +Maintainer: Debian GCC Maintainers +Uploaders: Matthias Klose , Michael Tautschnig +Build-Depends: debhelper (>= 5), autotools-dev, libisl-dev (>= 0.08), libgmp-dev, texinfo, help2man +Standards-Version: 3.9.2 +Section: libs +Homepage: http://www.CLooG.org + +Package: libcloog-isl-dev +Section: libdevel +Architecture: any +Multi-Arch: same +Depends: libisl-dev, libgmp-dev, libcloog-isl3 (= ${binary:Version}), dpkg (>= 1.15.4) | install-info, ${shlibs:Depends}, ${misc:Depends} +Conflicts: libcloog-ppl-dev +Description: Chunky Loop Generator (development files) + CLooG is a software which generates loops for scanning Z-polyhedra. That is, + CLooG finds the code or pseudo-code where each integral point of one or more + parametrized polyhedron or parametrized polyhedra union is reached. CLooG is + designed to avoid control overhead and to produce a very efficient code. + . + This package contains the development files and the cloog binary. + +Package: libcloog-isl3 +Section: libs +Architecture: any +Multi-Arch: same +Pre-Depends: multiarch-support +Depends: ${shlibs:Depends}, ${misc:Depends} +Description: Chunky Loop Generator (runtime library) + CLooG is a software which generates loops for scanning Z-polyhedra. + . + This package contains the runtime library. + +Package: cloog-isl +Section: libs +Architecture: any +Depends: libcloog-isl3 (= ${binary:Version}), ${shlibs:Depends}, ${misc:Depends} +Conflicts: cloog-ppl (<< 0.15.11-4), libcloog-ppl-dev (<< 0.15.11-1) +Description: Chunky Loop Generator (runtime library) + CLooG is a software which generates loops for scanning Z-polyhedra. + . + This package contains the cloog-isl binary. --- cloog-0.17.0.orig/debian/copyright +++ cloog-0.17.0/debian/copyright @@ -0,0 +1,90 @@ +This package was debianized by Matthias Klose on +Wed, 03 Sep 2008 15:44:33 +0000. + +It was downloaded from (git repository) +Tarball taken from ftp://gcc.gnu.org/pub/gcc/infrastructure/ + +Upstream Author: + + Cédric Bastoul + +Copyright: + + + + +License: + + source code: + + This library is free software; you can redistribute it and/or + modify it under the terms of the GNU Lesser General Public + License as published by the Free Software Foundation; either + version 2.1 of the License, or (at your option) any later version. + + This software 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 software; if not, write to the Free Software Foundation, Inc., + 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. + + See /usr/share/common-licenses/LGPL-2.1 + + documentation: + + Permission is granted to copy, distribute and/or modify this document under + the terms of the GNU Free Documentation License, Version 1.2 + published by the Free Software Foundation. To receive a copy of the + GNU Free Documentation License, write to the Free Software Foundation, Inc., + 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. + + See /usr/share/common-licenses/GFDL + +Files: isl/* +Copyright: 2005-2007 Universiteit Leiden + 2008-2009 Katholieke Universiteit Leuven + 2010-2011 INRIA Saclay +License: LGPL-2.1 + This package is free software; you can redistribute it and/or + modify it under the terms of the GNU Lesser 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 + Lesser General Public License for more details. + . + You should have received a copy of the GNU General Public License + along with this program. If not, see . + . + On Debian systems, the complete text of the GNU Lesser General + Public License can be found in "/usr/share/common-licenses/LGPL-2". + +autoconf/c-ced.ssh: + + Copyright (c) 1995-2000 Akim Demaille, Miguel Santana + + This program 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, or (at your option) + any later version. + + This program 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 program; if not, write to the Free Software Foundation, Inc., + 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. + +test/daegon_lu_osp.cloog: + + Copyright (c) 2005 DaeGon Kim + +The Debian packaging is (C) 2008, Matthias Klose and +is licensed under the GPL, see `/usr/share/common-licenses/GPL'. --- cloog-0.17.0.orig/debian/changelog +++ cloog-0.17.0/debian/changelog @@ -0,0 +1,113 @@ +cloog (0.17.0-1) unstable; urgency=low + + * New upstream version. + + -- Matthias Klose Thu, 15 Dec 2011 18:39:17 +0100 + +cloog (0.16.3-1) experimental; urgency=low + + * New upstream version. + * Build against libisl. + * License changed to LGPL2.1+, add isl license. + + -- Matthias Klose Thu, 11 Aug 2011 12:38:26 +0200 + +cloog-ppl (0.15.9-3) unstable; urgency=low + + * Build against PPL 0.11. + * Move to libgmp-dev instead of libgmp3-dev. + + -- Michael Tautschnig Tue, 08 Mar 2011 16:01:52 +0100 + +cloog-ppl (0.15.9-2) unstable; urgency=medium + + * Set the soname to `libcloog-debian.0'. The currently used name is + used for the next (incompatible) upstream version. Still provide + the old name until the gcc-4.4, gcj-4.4 and gnat-4.4 packages are + rebuilt. + + -- Matthias Klose Tue, 17 Aug 2010 03:53:08 +0200 + +cloog-ppl (0.15.9-1) unstable; urgency=low + + * New upstream version. + + -- Matthias Klose Sun, 04 Apr 2010 18:21:15 +0200 + +cloog-ppl (0.15.8-1) unstable; urgency=low + + * New upstream version. + + -- Matthias Klose Thu, 18 Feb 2010 16:10:04 +0100 + +cloog-ppl (0.15.7-1) unstable; urgency=low + + * New upstream version. Closes: #541842. + * Add watch file. + * Fix lintian warnings. + + -- Matthias Klose Mon, 24 Aug 2009 16:16:19 +0200 + +cloog-ppl (0.15-2) unstable; urgency=low + + * Add info dir entry. Closes: #528879. + + -- Matthias Klose Wed, 05 Aug 2009 11:17:55 +0200 + +cloog-ppl (0.15-1) unstable; urgency=low + + * cloog-ppl 0.15 release. + + -- Matthias Klose Sun, 21 Dec 2008 15:35:51 +0100 + +cloog-ppl (0.15~git20081008-2) unstable; urgency=low + + * (Build)-depend on libppl0.10-dev instead of libppl-dev. + + -- Matthias Klose Tue, 11 Nov 2008 06:49:12 +0200 + +cloog-ppl (0.15~git20081008-1) unstable; urgency=low + + * Update to 0.15 git 20081008. + * Tighten build dependency on ppl. + + -- Matthias Klose Sun, 12 Oct 2008 08:30:20 +0200 + +cloog-ppl (0.15~git20080903-3) unstable; urgency=low + + * Build using ppl (>= 0.10~pre27). + * Merge from Ubuntu: + - Rename ppl_version_* functions to cloog_version_*. + + -- Matthias Klose Fri, 12 Sep 2008 08:38:13 +0200 + +cloog-ppl (0.15~git20080915-2) unstable; urgency=low + + * Build-depend on texinfo. Closes: #499741. + + -- Matthias Klose Mon, 22 Sep 2008 18:07:08 +0200 + +cloog-ppl (0.15~git20080915-1) unstable; urgency=low + + * Update to 0.15 git 20080915. + - Rename ppl_version_* functions to cloog_version_*. + - Remove test/reports from the source tarball. + * Build using ppl (>= 0.10~pre27). + * debian/copyright: Update. + * Fix some lintian warnings. + + -- Matthias Klose Mon, 15 Sep 2008 21:53:39 +0200 + +cloog-ppl (0.15~git20080903-2) experimental; urgency=low + + * debian/copyright: Add GFDL. + + -- Matthias Klose Wed, 03 Sep 2008 20:08:31 +0200 + +cloog-ppl (0.15~git20080903-1) experimental; urgency=low + + * Initial release (build dependency of gcc-snapshot / GCC-4.4). + * Change the soname to libcloog-ppl, to be able to allow parallel + installation with cloog configured with polylib. + + -- Matthias Klose Wed, 03 Sep 2008 16:38:37 +0200 --- cloog-0.17.0.orig/debian/libcloog-isl-dev.install +++ cloog-0.17.0/debian/libcloog-isl-dev.install @@ -0,0 +1,3 @@ +usr/include/* +usr/lib/*/lib*.a +usr/lib/*/lib*.so --- cloog-0.17.0.orig/debian/watch +++ cloog-0.17.0/debian/watch @@ -0,0 +1,2 @@ +version=3 +ftp://gcc.gnu.org/pub/gcc/infrastructure/cloog-([\d\.]*).tar.gz