> "libml.*", really ? > I wonder if you need to prefix all of the library names :-/.
We're already considering prefixing them all with "trilinos_". --Nico On Wed, Apr 16, 2014 at 3:16 PM, Ian Jackson <ijack...@chiark.greenend.org.uk> wrote: > Nico Schlömer writes ("Fwd: Trilinos: to split or not to split"): >> Downsides of this include the size of the package, and the fact that >> the package name "trilinos" does not correspond with the library names >> (libbelos.*, libml.*,...). > > "libml.*", really ? > > I wonder if you need to prefix all of the library names :-/. > > Ian. -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/cak6z60dpejd4gky7bkgsmwdygmg2h4bcwje9cp5ruccc5ga...@mail.gmail.com