Como posso instalar o petrify e configurá-lo?

2

Eu quero instalar petrificar - uma ferramenta para simulação de circuitos assíncronos - então baixei o arquivo e nesta pasta existe um arquivo INSTALL que diz:

 You should define properly define the variables PATH and MANPATH
 of your environment including the "bin" and "man" directories
 of petrify respectively.

O que devo fazer?

    
por Milad Sabri 26.04.2018 / 12:18

1 resposta

1

Do site da Petrify , eu baixei o " Nova versão 4.2 (somente para Linux) " (clicar no download do arquivo).

Eu descompactei usando tar :

tar xfz petrify-4.2-linux.tgz

Dentro do diretório petrify criado está o arquivo INSTALL do qual você citou e os diretórios a que ele se refere, bin e man . Os arquivos estão todos prontos para uso e nenhuma compilação é necessária. Os dois links simbólicos para o binário petrify em bin aparentemente requerem um programa chamado Dot, mas o link para esse programa no site da Petrify está quebrado, então eu não tentei fazer com que esses dois comandos funcionassem.

Primeiramente sugiro testar o binário petrify . Como é um binário de 32 bits, se você estiver usando um sistema de 64 bits, provavelmente receberá esse erro desconcertante:

bash: ./petrify: No such file or directory

Isso é explicado nesta resposta de Gilles .

Para mim, foi suficiente instalar libc6:i386 :

sudo dpkg --add-architecture i386
sudo apt update
sudo apt install libc6:i386

Agora o programa deve rodar, mas não fará nada sem entrada. Se você não tiver arquivos para trabalhar, poderá fazer o download de alguns exemplos (clicando no download) do site para teste. Este arquivo precisará ser descompactado com tar xfz <file> também. Eu testei, mas não tenho idéia de como interpretar a saída, então só posso dizer a você que alguns arquivos de saída foram gerados, e não houve erros!

Para responder à sua pergunta real (finalmente), o motivo pelo qual você pode querer definir essas variáveis de ambiente é para que você possa executar petrify e man petrify de qualquer lugar. Em vez de modificar seu PATH ou configurar MANPATH, você poderia simplesmente copiar os arquivos para os locais apropriados. Supondo que você esteja no diretório petrify onde encontrou o arquivo INSTALL , você pode executar

mkdir -p ~/bin
cp bin/petrify ~/bin

Este diretório é automaticamente adicionado ao seu PATH se existir por um trecho de código no padrão ~/.profile no Ubuntu. Você precisa source ~/.profile para ajustá-lo imediatamente ou efetuar logout e efetuar login novamente para que ele tenha efeito (você só precisa fazer isso uma vez). Agora você pode executar petrify em qualquer lugar.

Como alternativa, você pode copiar para /usr/local/bin :

sudo cp bin/petrify /usr/local/bin

Isso já está no PATH padrão. Essa é a melhor opção se vários usuários precisarem acessar o programa. Você também pode copiar os links simbólicos do diretório bin para o mesmo local que petrify .

Para o man , copiei o arquivo para /usr/share/man/man1 , onde os outros arquivos man no meu sistema estão ativos:

chmod 644 man/man1/petrify.1
sudo cp man/man1/petrify.1 /usr/share/man/man1

A execução de man petrify agora apresenta uma página man abrangente.

Se você preferir configurar o PATH e manter os arquivos isolados, poderá definir as variáveis de ambiente no seu ~/.profile . Você pode adicionar uma linha como esta para anexar ao PATH:

PATH="$PATH:/path/to/petrify/bin"

substituindo /path/to/petrify/bin pelo caminho real para o diretório pai do arquivo binário petrify , onde quer que você o coloque.

A configuração do MANPATH também pode ser feita em ~/.profile . Note que a estrutura do diretório é

man
└── man1
    └── petrify.1

Se o caminho completo de petrify.1 fosse

/home/zanna/petrify/man/man1/petrify.1

Eu definiria o MANPATH em ~/.profile assim (sem man1 ):

export MANPATH=":$HOME/petrify/man"

O cólon principal é importante aqui e não deve ser omitido . Observe também que você não precisa export PATH (ele já foi exportado e as alterações serão herdadas), mas você precisa export MANPATH.

    
por Zanna 27.04.2018 / 10:28