#18126: Coin-OR CBC: new-style SPKG
-------------------------------------+-------------------------------------
Reporter: ncohen | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.6
Component: packages: | Resolution:
optional | Merged in:
Keywords: sd66 | Reviewers:
Authors: Nathann Cohen | Work issues:
Report Upstream: N/A | Commit:
Branch: public/18126 | 3bb47c9b70a20bbca5a835f2db47a5f592421373
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by dcoudert):
{{{
confetti:cbc dcoudert$ ./spkg-src
sed: illegal option -- r
usage: sed script [-Ealn] [-i extension] [file ...]
sed [-Ealn] [-i extension] [-e script] ... [-f script_file] ...
[file ...]
--2015-04-06 14:35:26-- http://www.coin-
or.org/download/source/Cbc/Cbc-.tgz
Résolution de www.coin-or.org (www.coin-or.org)… 130.127.215.8
Connexion à www.coin-or.org (www.coin-or.org)|130.127.215.8|:80… connecté.
requête HTTP transmise, en attente de la réponse… 404 Not Found
2015-04-06 14:35:27 erreur 404 : Not Found.
}}}
{{{
confetti:cbc dcoudert$ cat package-version.txt | sed -re
"s/^(.*)\\.p.+$/\\1/"
sed: illegal option -- r
usage: sed script [-Ealn] [-i extension] [file ...]
sed [-Ealn] [-i extension] [-e script] ... [-f script_file] ...
[file ...]
}}}
{{{
confetti:cbc dcoudert$ cat package-version.txt | sed -e
"s/^(.*)\\.p.+$/\\1/"
sed: 1: "s/^(.*)\.p.+$/\1/
": \1 not defined in the RE
}}}
{{{
confetti:cbc dcoudert$ cat package-version.txt | sed -e
"s/^(.*)\\.p.+$/$1/"
2.9.4
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/18126#comment:12>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
