debian/0000755000000000000000000000000012254001310007152 5ustar debian/rules0000755000000000000000000000076612253777524010275 0ustar #!/usr/bin/make -f # -*- makefile -*- # Uncomment this to turn on verbose mode. #export DH_VERBOSE=1 # # export CFLAGS and LDFLAGS for configure # # add -O3 and NDEBUG and enable all hardening flags # DEB_CFLAGS_MAINT_APPEND = -O3 -DNDEBUG export DEB_BUILD_MAINT_OPTIONS = hardening=+all DPKG_EXPORT_BUILDFLAGS = 1 include /usr/share/dpkg/buildflags.mk # inject CPPFLAGS to CFLAGS CFLAGS += $(CPPFLAGS) %: dh $@ override_dh_auto_configure: ./configure override_dh_auto_clean: rm -rf makefile debian/install0000644000000000000000000000002011605656645010565 0ustar runlim usr/bin/ debian/dirs0000644000000000000000000000001111605656645010060 0ustar usr/bin/ debian/watch0000644000000000000000000000030611605666074010231 0ustar # watch control file for uscan # Compulsory line, this is a version 3 file version=3 # Uncomment to examine a Webpage # http://fmv.jku.at/runlim/ runlim-(.*)\.tar\.gz debian/patches/0000755000000000000000000000000012254000256010611 5ustar debian/patches/runlim-manpages.patch0000644000000000000000000000554111605656645014760 0ustar Author: Thomas Krennwallner Description: Manpage for `runlim'. Index: run-1.4/runlim.1 =================================================================== --- /dev/null 1970-01-01 00:00:00.000000000 +0000 +++ run-1.4/runlim.1 2011-02-23 11:09:20.473482106 +0100 @@ -0,0 +1,75 @@ +.\" Hey, EMACS: -*- nroff -*- +.\" First parameter, NAME, should be all caps +.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection +.\" other parameters are allowed: see man(7), man(1) +.TH RUNLIM 1 "February 11, 2011" +.\" Please adjust this date whenever revising the manpage. +.\" +.\" Some roff macros, for reference: +.\" .nh disable hyphenation +.\" .hy enable hyphenation +.\" .ad l left justify +.\" .ad b justify to both left and right margins +.\" .nf disable filling +.\" .fi enable filling +.\" .br insert line break +.\" .sp insert n+1 empty lines +.\" for manpage-specific macros, see man(7) +.SH NAME +runlim \- a program to run benchmarks +.SH SYNOPSIS +.B runlim +[\fI options \fR ...] \fI command \fR [\fI arguments \fR ...] +.SH DESCRIPTION +.B run +is a tool that can be used to run and control benchmarks. +.\" TeX users may be more comfortable with the \fB\fP and +.\" \fI\fP escape sequences to invode bold face and italics, +.\" respectively. +It executes a given \fIcommand\fR with (optional) \fIarguments\fR, +samples resource usage during the run, and kills the process (and its +child processes) if a certain time and/or space limit is exhausted. +.PP +Every 100 milliseconds, \fBrunlim\fP takes a sample of the program's +resource utilization, and logs status information to stderr every +second. Optionally, the status can be logged to a file. +.PP +Multi-threaded programs can be limited by setting a wall clock +timeout. \fBrunlim\fP follows the time accumulation scheme of \fBGNU +time\fP for multi-threaded programs and programs that spawn multiple +child-processes: time spent in each thread/child is summed up, unless +you are only interested in walk clock time. +.SH OPTIONS +\fBrunlim\fP accepts the following options: +.TP +.B \-h, \-\-help +Show summary of options. +.TP +.B \-\-version +Show version of program. +.TP +.B -o FILE, \-\-output-file=FILE +Overwrite or create FILE for output logging. +.TP +.B -s NUM, \-\-space-limit=NUM +Set space limit to NUM megabytes. +.TP +.B -t NUM, \-\-time-limit=NUM +Set time limit to NUM seconds. +.TP +.B -r NUM, \-\-real-time-limit=NUM +Set real time limit to NUM seconds. +.TP +.B -k, \-\-kill +Propagate signals. +.SH SEE ALSO +.BR time (1), +.BR timelimit (1), +.BR timeout (1), +.BR time (7). +.br +.SH AUTHOR +runlim was written by Armin Biere and Toni Jussila. +.PP +This manual page was written by Thomas Krennwallner , +for the Debian project (and may be used by others). debian/patches/runlim-makefile.patch0000644000000000000000000000203612254000256014714 0ustar Author: Thomas Krennwallner Description: Add LDFLAGS support to `runlim'. Index: runlim-1.7/configure =================================================================== --- runlim-1.7.orig/configure 2011-07-05 11:42:33.000000000 +0200 +++ runlim-1.7/configure 2013-12-17 08:41:57.724148297 +0100 @@ -34,10 +34,11 @@ ;; esac fi -echo "[configure] $CC $CFLAGS" +echo "[configure] $CC $CFLAGS $LDFLAGS" rm -f makefile sed \ -e "s,@CC@,$CC," \ -e "s,@CFLAGS@,$CFLAGS," \ +-e "s/@LDFLAGS@/$LDFLAGS/" \ makefile.in > makefile echo "[configure] generated makefile" Index: runlim-1.7/makefile.in =================================================================== --- runlim-1.7.orig/makefile.in 2011-07-05 11:43:14.000000000 +0200 +++ runlim-1.7/makefile.in 2013-12-17 08:35:44.000000000 +0100 @@ -1,5 +1,5 @@ runlim: runlim.c makefile VERSION - @CC@ @CFLAGS@ -DVERSION=\"`cat VERSION`\" -o runlim runlim.c + @CC@ @CFLAGS@ @LDFLAGS@ -DVERSION=\"`cat VERSION`\" -o runlim runlim.c clean: rm -f runlim .PHONY: clean debian/patches/series0000644000000000000000000000005412253777004012040 0ustar runlim-manpages.patch runlim-makefile.patch debian/control0000644000000000000000000000147612253773131010605 0ustar Source: runlim Section: utils Priority: extra Maintainer: Thomas Krennwallner Build-Depends: debhelper (>= 9) Standards-Version: 3.9.5 Vcs-Git: git://git.debian.org/git/collab-maint/runlim.git Vcs-Browser: http://git.debian.org/?p=collab-maint/runlim.git Homepage: http://fmv.jku.at/runlim/ Package: runlim Architecture: linux-any Depends: ${shlibs:Depends}, ${misc:Depends} Description: tool for sampling time and memory usage This package contains runlim, a tool for sampling time and memory usage of a program and its children using the proc file system of Linux. Time and space limits are also supported. It is very helpful for benchmarking and running competitions. It also supports limits on wall clock time and thus can control runs of multi-threaded programs on multi-core machines as well. debian/changelog0000644000000000000000000000463212253777123011056 0ustar runlim (1.7-2) unstable; urgency=low * debian/copyright: Fix unused-license-paragraph-in-dep5-copyright, obsolete-field-in-dep5-copyright and unversioned-copyright-format-uri lintian warnings. Bump copyright to 2013. * debian/control: Remove DM-Upload-Allowed. Build-Depends on debhelper >= 9. Bump Standards-Version to 3.9.5. * debian/compat: Bump to 9. * debian/rules: Add hardening support. * debian/patches/runlim-makefile.patch: Add LDFLAGS support -- Thomas Krennwallner Tue, 17 Dec 2013 07:46:39 +0100 runlim (1.7-1) unstable; urgency=low * New upstream release. * debian/copyright: Fix Upstream-Name and Source, bump copyright year. * debian/control: - Set Architecture to linux-any as runlim requires procfs. - Bump Standards-Version to 3.9.2. - Fix upstream homepage. - Set DM-Upload-Allowed to yes. - Setup as Debian collab-maint project. - Convert bzr repository to git and use Vcs-Git and Vcs-Browser accourdingly. * debian/rules: Fix override_dh_auto_configure. * debian/watch: - Fix lintian debian-watch-contains-dh_make-template. - Fix upstream URL. * debian/patches/runlim-rename.patch: Remove. -- Thomas Krennwallner Fri, 08 Jul 2011 22:55:05 +0200 runlim (1.4-5~natty1) natty; urgency=low * Recompile for Ubuntu. -- Thomas Krennwallner Sat, 02 Apr 2011 10:41:30 +0200 runlim (1.4-4) unstable; urgency=low * debian/control: Renaming of run to runlim. - debian/patches/runlim-manpages.patch: Renamed. - debian/runlim.manpages: Renamed manpage to runlim.1. - debian/patches/runlim-rename.patch: Output "runlim" instead of "run". - debian/rules: Add overrides to move run to runlim. * debian/copyright: Use DEP-5 and fix copyright years. * Filed ITP. (Closes: #613986). -- Thomas Krennwallner Tue, 22 Feb 2011 05:59:53 +0100 runlim (1.4-3~maverick1) maverick; urgency=low * Renamed package as requested by popular demand. -- Thomas Krennwallner Sun, 20 Feb 2011 08:48:52 +0100 run (1.4-2~maverick1) maverick; urgency=low * Add manpage. * Set Section to utils. -- Thomas Krennwallner Fri, 11 Feb 2011 12:14:13 +0100 run (1.4-1~maverick1) maverick; urgency=low * Initial release. -- Thomas Krennwallner Sun, 28 Nov 2010 17:40:48 +0100 debian/docs0000644000000000000000000000000711605656645010054 0ustar README debian/copyright0000644000000000000000000000612712253771402011132 0ustar Format: http://anonscm.debian.org/viewvc/dep/web/deps/dep5.mdwn?revision=174 Upstream-Name: runlim Upstream-Contact: Armin Biere Source: http://fmv.jku.at/runlim/ Files: * Copyright: 2000-2004, Armin Biere, ETH Zurich 2005-2011, Armin Biere, Johannes Kepler University 2007, Toni Jussila, Johannes Kepler University License: BSD-4-clause Files: debian/* Copyright: 2010-2013, Thomas Krennwallner Comment: This package was debianized by Thomas Krennwallner on Sun, 28 Nov 2010 17:40:48 +0100 License: GPL-3+ License: BSD-4-clause All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: . 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. . 2. 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. . 3. All advertising materials mentioning features or use of this software must display the following acknowledgement: . This product includes software developed by Armin Biere, ETH Zurich, Johannes Kepler University, Toni Jussila, Johannes Kepler University. . 4. Neither the name of the University nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission. . THIS SOFTWARE IS PROVIDED BY THE REGENTS 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 REGENTS OR 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. License: GPL-3+ 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 3 of the License, 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, see . . On Debian systems, the full text of the GNU General Public License version 3 can be found in the file `/usr/share/common-licenses/GPL-3'. debian/runlim.manpages0000644000000000000000000000001111605656645012217 0ustar runlim.1 debian/compat0000644000000000000000000000000212253772734010400 0ustar 9 debian/source/0000755000000000000000000000000011605656645010504 5ustar debian/source/format0000644000000000000000000000001411605656645011712 0ustar 3.0 (quilt)