doesn't work when packages are pinned - Githubissues

avsm / opam-installext

OPAM plugin to install external system libraries alongside OPAM packages

5 stars 1 forks source link

doesn't work when packages are pinned #4

Closed samoht closed 9 years ago

samoht commented 9 years ago

In case a package is pinned, opam install $pkg -e XXX command could return something like:

 =-=- Synchronising pinned packages =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= '[my-package.~unknown]' Synchronizing with /home/travis/build/mirage/ocaml-git libffi-dev libgmp-dev m4 zlib1g-dev

Would be better to use something like:

depext=`opam list --required-by ${pkg} --rec -e ubuntu -s | tr '\n' ' ' | sed 's/ *$//'`

avsm commented 9 years ago

This is now deprecated in favour of depext