aspcud falha com “não pôde lstat file”

Question

aspcud é um solver externo recomendado pelo gerenciador de pacotes opam do ocaml. Infelizmente, é apenas empacotado para o Debian; para outras distribuições, há um tarball com binários disponíveis na página da sourceforge .

Basta copiar todos os binários para algum lugar em seu caminho (por exemplo, /usr/local/bin ) e executar aspcud com uma mensagem de erro não informativa:

$ aspcud
error: could not lstat file

[Postando isso principalmente para que "não consegui lstat file" receba alguns hits do google; o único sucesso agora é outra pessoa que se deparou com o mesmo problema.]

    

Answer 1

O problema é que aspcud procura os outros arquivos de que depende em . ou no prefixo explícito com o qual foi invocado (ou seja, se você chamar por aspcud , ele procurará gringo em ./gringo , mas se você chamar por /usr/local/bin/aspcud , ele procurará /usr/local/bin/gringo ) em vez de $PATH . Portanto, em vez de copiar os binários para o seu caminho, copie o tarball inteiro para /opt ou similar e, em seguida, tenha um shellscript executável aspcud no caminho invocando-o com o caminho completo

#!/bin/bash

/opt/aspcud-1.9.1-x86_64-linux/aspcud $@