[PPL-devel] Install from git

[Roberto Bagnara]

On 09/25/14 10:04, Stefan Schupp wrote:
> due to a new setup I tried to install PPL from git. There seem to be
> some errors concerning the documentation:
> 
> mkdir -p -- /usr/local/share/doc/ppl/ppl-user-1.2pre1-html
> gzip: ./ppl-user-1.2pre1-html.tar.gz: No such file or directory
> tar: This does not look like a tar archive
> tar: Exiting with failure status due to previous errors
> /usr/bin/install: cannot stat ‘ppl-user-1.2pre1-html/*’: No such file or
> directory
> mkdir -p -- /usr/local/share/doc/ppl/ppl-user-c-interface-1.2pre1-html
> gzip: ./ppl-user-c-interface-1.2pre1-html.tar.gz: No such file or
> directory
> tar: This does not look like a tar archive
> tar: Exiting with failure status due to previous errors
> /usr/bin/install: cannot stat ‘ppl-user-c-interface-1.2pre1-html/*’: No
> such file or directory
> make[2]: *** [install-html] Error 1
> 
> I figured out to install PPL, this can be considered a report :).

Hello Stefan.  This should be fixed in the Git version now.
Thanks a lot for reporting,

   Roberto

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com