Please merge ladr_0.0.200902a-1 (universe) from Debian (unstable)
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
ladr (Ubuntu) |
Fix Released
|
Wishlist
|
Unassigned |
Bug Description
ladr (0.0.200902a-
* Merge from debian unstable, remaining changes:
- Drop -shared from the libtool command to make libladr.la in
debian/
static libraries are built. The .install file tries to install both,
and if -shared is passed the .a isn't built and the package fails
to build. This appears to be a change in libtool behaviour.
-- Stefan Lesicnik <email address hidden> Wed, 29 Apr 2009 21:09:20 +0200
ladr (0.0.200902a-1) unstable; urgency=low
* New upstream release.
* debian/control: updated for new prover9-doc
* debian/
complex, removed application rewriter2
* debian/
* debian/control: new Standards-Version
-- Peter Collingbourne <email address hidden> Sat, 14 Mar 2009 23:55:22 +0000
Related branches
Changed in ladr (Ubuntu): | |
importance: | Undecided → Wishlist |
Tested build without dropping -shared and build fails. Therefore merge is still required.