Commit caadb8ba authored by nicoo's avatar nicoo

Initial packaging

parent 123f17ff
herbie (1.2-1) UNRELEASED; urgency=low
* Initial upload to Debian (Closes: 886481, 928045)
-- Nicolas Braud-Santoni <nicoo@debian.org> Fri, 26 Apr 2019 14:01:18 -0400
Source: herbie
Section: unknown
Priority: optional
Maintainer: Nicolas Braud-Santoni <nicoo@debian.org>
Build-Depends: debhelper-compat (= 12), racket
Standards-Version: 4.1.3
Homepage: https://herbie.uwplse.org/
Vcs-Browser: https://salsa.debian.org/debian/herbie
Vcs-Git: https://salsa.debian.org/debian/herbie.git
Package: herbie
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}, racket
Description: Synthesis for floating-point expressions
Herbie synthesizes floating-point programs from real-number programs,
automatically handling simple numerical instabilities.
.
Herbie can improve the accuracy of many real-world programs, and is used by
scientists in many disciplines. It has lead to two patches (for complex square
roots and trigonometric functions) in math.js, an open-source mathematics
library.
.
Herbie has semi-regular releases twice a year, maintains backwards
compatibility, and uses standardized formats.
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: herbie
Source: https://github.com/uwplse/herbie/
Files: *
Copyright: 2015-2019 Herbie Project
2016 Google Inc.
License: Expat
Comment: Google copyright due to code reuse.
Files: debian/*
Copyright: 2019 Nicolas Braud-Santoni <nicoo@debian.org>
License: Expat
License: Expat
Permission is hereby granted, free of charge, to any person obtaining a copy of
this software and associated documentation files (the "Software"), to deal in
the Software without restriction, including without limitation the rights to
use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies
of the Software, and to permit persons to whom the Software is furnished to do
so, subject to the following conditions:
.
The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.
.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.
[DEFAULT]
debian-branch = debian/sid
dist = DEP14
#!/usr/bin/make -f
# output every command that modifies files on the build system.
#export DH_VERBOSE = 1
export DESTDIR=debian/tmp
%:
dh $@
override_dh_auto_install:
raco install --name herbie src/
override_dh_auto_test:
raco test src/
# Compulsory line, this is a version 4 file
version=4
opts="filenamemangle=s%(?:.*?)?v?(\d[\d.]*)\.tar\.gz%herbie-$1.tar.gz%" \
https://github.com/uwplse/herbie/releases \
(?:.*?/)?v?(\d[\d.]*)\.tar\.gz debian uupdate
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment