[PPL-devel] Extracting the source files
Roberto Bagnara
bagnara at cs.unipr.it
Thu Jan 24 15:18:57 CET 2013
On 01/24/13 13:22, Albert Cluster wrote:
> Hello Roberto,
>
> Thank you for your answers.
>
> I'm still stuck with this issue...
> Here is what I get so far:
>
> silvere at silvere-Linux:~/dev/src$ ll
> total 67596
> drwxrwxr-x 2 silvere silvere 4096 Jan 24 12:12 ./
> drwxrwxr-x 8 silvere silvere 4096 Jan 24 11:58 ../
> -rw-r--r-- 1 silvere silvere 994 Feb 27 2011 BUGS
> -rw-r--r-- 1 silvere silvere 994 Feb 27 2011 BUGS.1
> -rw-r--r-- 1 silvere silvere 438867 Feb 27 2011 ChangeLog
> -rw-r--r-- 1 silvere silvere 438867 Feb 27 2011 ChangeLog.1
> -rw-rw-r-- 1 silvere silvere 2254208 Jan 24 11:54 ChangeLog_2001-2008
> -rw-r--r-- 1 silvere silvere 3920132 Feb 27 2011 ChangeLog_2001-2008.1
> -rw-r--r-- 1 silvere silvere 35147 Feb 27 2011 COPYING
> -rw-r--r-- 1 silvere silvere 35147 Feb 27 2011 COPYING.1
> -rw-r--r-- 1 silvere silvere 19579 Feb 27 2011 CREDITS
> -rw-r--r-- 1 silvere silvere 19579 Feb 27 2011 CREDITS.1
> -rw-r--r-- 1 silvere silvere 15578 Feb 27 2011 INSTALL
> -rw-r--r-- 1 silvere silvere 208 Feb 27 2011 MD5SUMS
> -rw-r--r-- 1 silvere silvere 72082 Feb 27 2011 NEWS
> -rw-rw-r-- 1 silvere silvere 7260 Jan 18 16:42 pgp_public_key
> -rw-rw-r-- 1 silvere silvere 7260 Jan 18 16:42 pgp_public_key.1
> -rw-rw-r-- 1 silvere silvere 264704 Jan 24 11:52 ppl-0.11.2.tar.bz2
> -rw-rw-r-- 1 silvere silvere 10093952 Jan 24 11:53 ppl-0.11.2.tar.bz2.1
> -rw-r--r-- 1 silvere silvere 12348525 Feb 27 2011 ppl-0.11.2.tar.bz2.2
> -rw-r--r-- 1 silvere silvere 198 Feb 27 2011 ppl-0.11.2.tar.bz2.sign
> -rw-r--r-- 1 silvere silvere 13741905 Feb 27 2011 ppl-0.11.2.tar.gz
> -rw-r--r-- 1 silvere silvere 198 Feb 27 2011 ppl-0.11.2.tar.gz.sign
> -rw-r--r-- 1 silvere silvere 10346588 Feb 27 2011 ppl-0.11.2.tar.lzma
> -rw-r--r-- 1 silvere silvere 198 Feb 27 2011 ppl-0.11.2.tar.lzma.sign
> -rw-r--r-- 1 silvere silvere 15001597 Feb 27 2011 ppl-0.11.2.zip
> -rw-r--r-- 1 silvere silvere 198 Feb 27 2011 ppl-0.11.2.zip.sign
> -rw-r--r-- 1 silvere silvere 52050 Feb 27 2011 README
> -rw-r--r-- 1 silvere silvere 866 Feb 27 2011 README.alpha
> -rw-r--r-- 1 silvere silvere 658 Feb 27 2011 README.arm
> -rw-r--r-- 1 silvere silvere 20394 Feb 27 2011 README.configure
> -rw-r--r-- 1 silvere silvere 327 Feb 27 2011 README.solaris
>
> silvere at silvere-Linux:~/dev/src$ gpg --import pgp_public_key.1
> gpg: key 517D0F0E: "Linux Kernel Archives Verification Key <ftpadmin at kernel.org <mailto:ftpadmin at kernel.org>>" not changed
> gpg: key B5944392: "Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>>" not changed
> gpg: Total number processed: 2
> gpg: unchanged: 2
> silvere at silvere-Linux:~/dev/src$ md5sum --check MD5SUMS
> ppl-0.11.2.tar.bz2: FAILED
> ppl-0.11.2.tar.gz: FAILED
> ppl-0.11.2.tar.lzma: FAILED
> ppl-0.11.2.zip: FAILED
> md5sum: WARNING: 4 computed checksums did NOT match
>
> I have also my own public key correctly setup. It's weird the gpg's key correspond and are correctly imported
>
> I'm sorry to annoy you with that issue, but I really need those sources to build a tolochain with crosstools-ng.
> CrossTools dowanloads and install automatically ppl to build the crosscompiler. But it fails at that particular point since, it cannot extract ppl's sources.
> Thus, my idea was to do it manually.... Otherwise, do you know If I can access the unsigned sources somewhere ?
Dear Albert,
the issue has nothing to do with keys or with signatures.
I only tested the signature to double check that the ftp
repository was not corrupted. Judging from your `ls -l'
> -rw-rw-r-- 1 silvere silvere 264704 Jan 24 11:52 ppl-0.11.2.tar.bz2
> -rw-rw-r-- 1 silvere silvere 10093952 Jan 24 11:53 ppl-0.11.2.tar.bz2.1
> -rw-r--r-- 1 silvere silvere 12348525 Feb 27 2011 ppl-0.11.2.tar.bz2.2
you have two files that are not long enough (perhaps they have been
truncated?) and one, ppl-0.11.2.tar.bz2.2, which is of the right length.
Can you show us the result of the command
$ md5sum ppl-0.11.2.tar.bz2.2
If it is
c24429e6c3bc97d45976a63f40f489a1 ppl-0.11.2.tar.bz2.2
then that file is (very likely to be) correct and should be renamed
so as to remove the final `.2'. Of course, this gives you a valid
tarball but does not explain why you are getting truncated files.
Kind regards,
Roberto
> 2013/1/22 Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>>
>
> On 01/22/13 10:26, Albert Cluster wrote:
>
> Hi Roberto,
> Thank you a lot for your advices.
>
> I'm not familiar with signatures, but here is what I did (I tested that procedure on several other versions, but none worked...)
>
> silvere at silvere-Linux:~/dev/__src$ wget http://www.cs.unipr.it/~__bagnara/pgp_public_key <http://www.cs.unipr.it/~bagnara/pgp_public_key>
> silvere at silvere-Linux:~/dev/__src$ ls
> MD5SUMS pgp_public_key ppl-0.11.2.tar.bz2 ppl-0.11.2.tar.bz2.sign ppl-0.11.2.tar.lzma
> silvere at silvere-Linux:~/dev/__src$ gpg --import pgp_public_key
> gpg: key 517D0F0E: "Linux Kernel Archives Verification Key <ftpadmin at kernel.org <mailto:ftpadmin at kernel.org> <mailto:ftpadmin at kernel.org <mailto:ftpadmin at kernel.org>>>" not changed
> gpg: key B5944392: "Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it> <mailto:bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>>>" not changed
>
> gpg: Total number processed: 2
> gpg: unchanged: 2
> silvere at silvere-Linux:~/dev/__src$ gpg --verify ppl-0.11.2.tar.bz2.sign ppl-0.11.2.tar.bz2
> gpg: Signature made Sun 27 Feb 2011 09:57:07 GMT using DSA key ID B5944392
> gpg: BAD signature from "Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it> <mailto:bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>>>"
>
> silvere at silvere-Linux:~/dev/__src$
>
> What do you think I did wrong ?
>
>
> Nothing, as far as I can see. But please let me have also
> the output of `ls -l' and (after downloading the MD5SUMS)
> the result of `md5sum --check MD5SUMS'. Here is what I get:
>
> $ wget -q ftp://ftp.cs.unipr.it/pub/ppl/__releases/0.11.2/ppl-0.11.2.__tar.bz2 <ftp://ftp.cs.unipr.it/pub/ppl/releases/0.11.2/ppl-0.11.2.tar.bz2>
> $ wget -q ftp://ftp.cs.unipr.it/pub/ppl/__releases/0.11.2/MD5SUMS <ftp://ftp.cs.unipr.it/pub/ppl/releases/0.11.2/MD5SUMS>
> $ wget -q ftp://ftp.cs.unipr.it/pub/ppl/__releases/0.11.2/ppl-0.11.2.__tar.bz2.sign <ftp://ftp.cs.unipr.it/pub/ppl/releases/0.11.2/ppl-0.11.2.tar.bz2.sign>
> $ ls -l
> total 12068
> -rw-rw-r-- 1 roberto roberto 208 Jan 22 11:51 MD5SUMS
> -rw-rw-r-- 1 roberto roberto 12348525 Jan 22 11:49 ppl-0.11.2.tar.bz2
> -rw-rw-r-- 1 roberto roberto 198 Jan 22 11:52 ppl-0.11.2.tar.bz2.sign
> $ md5sum --check MD5SUMS
> ppl-0.11.2.tar.bz2: OK
> md5sum: ppl-0.11.2.tar.gz: No such file or directory
> ppl-0.11.2.tar.gz: FAILED open or read
> md5sum: ppl-0.11.2.tar.lzma: No such file or directory
> ppl-0.11.2.tar.lzma: FAILED open or read
> md5sum: ppl-0.11.2.zip: No such file or directory
> ppl-0.11.2.zip: FAILED open or read
>
> md5sum: WARNING: 3 listed files could not be read
> $ gpg --verify ppl-0.11.2.tar.bz2.sign ppl-0.11.2.tar.bz2
> gpg: Signature made Sun Feb 27 10:57:07 2011 CET using DSA key ID B5944392
>
> gpg: Good signature from "Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>>"
> ...
>
> Kind regards,
>
> Roberto
>
> 2013/1/22 Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it> <mailto:bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>>>
>
>
>
> Hello Albert.
>
>
> On 01/21/13 18:54, Albert Cluster wrote:
>
> I know it's not particularly a development issue, but I'm trying to
> download ppl sources to compile a cross-compilation tool chain but
> What ever the source I download from the ftp server, i'm not able to
> extract the source. It says that the file is corrupted.
>
> Do you have any idea on how I could solve that issue ?
>
>
> We need more details about what you observe. Here are the
> result of a small experiment performed just a few minutes ago:
>
> $ mkdir /tmp/test
> $ cd /tmp/test/
> $ wget -q ftp://ftp.cs.unipr.it/pub/ppl/____releases/LATEST/ppl-1.0.tar.____bz2 <ftp://ftp.cs.unipr.it/pub/ppl/__releases/LATEST/ppl-1.0.tar.__bz2> <ftp://ftp.cs.unipr.it/pub/__ppl/releases/LATEST/ppl-1.0.__tar.bz2 <ftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/ppl-1.0.tar.bz2>>
> $ wget -q ftp://ftp.cs.unipr.it/pub/ppl/____releases/LATEST/MD5SUMS <ftp://ftp.cs.unipr.it/pub/ppl/__releases/LATEST/MD5SUMS> <ftp://ftp.cs.unipr.it/pub/__ppl/releases/LATEST/MD5SUMS <ftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/MD5SUMS>>
>
> $ md5sum --check MD5SUMS
> ppl-1.0.tar.bz2: OK
> md5sum: ppl-1.0.tar.gz: No such file or directory
> ppl-1.0.tar.gz: FAILED open or read
> md5sum: ppl-1.0.tar.xz: No such file or directory
> ppl-1.0.tar.xz: FAILED open or read
> md5sum: ppl-1.0.zip: No such file or directory
> ppl-1.0.zip: FAILED open or read
> md5sum: WARNING: 3 listed files could not be read
> $ wget -q ftp://ftp.cs.unipr.it/pub/ppl/____releases/LATEST/ppl-1.0.tar.____bz2.sign <ftp://ftp.cs.unipr.it/pub/ppl/__releases/LATEST/ppl-1.0.tar.__bz2.sign> <ftp://ftp.cs.unipr.it/pub/__ppl/releases/LATEST/ppl-1.0.__tar.bz2.sign <ftp://ftp.cs.unipr.it/pub/ppl/releases/LATEST/ppl-1.0.tar.bz2.sign>>
>
> $ ls -l
> total 15056
> -rw-rw-r-- 1 roberto roberto 194 Jan 22 08:43 MD5SUMS
> -rw-rw-r-- 1 roberto roberto 15405300 Jan 22 08:43 ppl-1.0.tar.bz2
> -rw-rw-r-- 1 roberto roberto 198 Jan 22 08:44 ppl-1.0.tar.bz2.sign
> $ gpg --verify ppl-1.0.tar.bz2.sign ppl-1.0.tar.bz2
> gpg: Signature made Thu Jun 28 13:02:51 2012 CEST using DSA key ID B5944392
> gpg: Good signature from "Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it> <mailto:bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>>>"
>
> ...
>
> To reproduce the last step, please see
>
> http://bugseng.com/products/____ppl/download#verification <http://bugseng.com/products/__ppl/download#verification> <http://bugseng.com/products/__ppl/download#verification <http://bugseng.com/products/ppl/download#verification>>
>
>
> Of course, this only tested the bzip2 tarball. Which is the one
> you found corrupted?
>
>
> Have a nice day, and thank you for that software.
>
>
> Thanks to you for the report.
> Kind regards,
>
> Roberto
>
> --
> Prof. Roberto Bagnara
>
> Applied Formal Methods Laboratory - University of Parma, Italy
> mailto:bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it> <mailto:bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>>
>
> BUGSENG srl - http://bugseng.com
> mailto:roberto.bagnara@ <mailto:roberto.bagnara@>__bugse__ng.com <http://bugseng.com> <mailto:roberto.bagnara at __bugseng.com <mailto:roberto.bagnara at bugseng.com>>
>
>
>
>
> _________________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it <mailto:PPL-devel at cs.unipr.it>
> http://www.cs.unipr.it/__mailman/listinfo/ppl-devel <http://www.cs.unipr.it/mailman/listinfo/ppl-devel>
>
>
>
> --
> Prof. Roberto Bagnara
>
> Applied Formal Methods Laboratory - University of Parma, Italy
> mailto:bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>
> BUGSENG srl - http://bugseng.com
> mailto:roberto.bagnara at __bugseng.com <mailto:roberto.bagnara at bugseng.com>
>
>
>
>
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
>
--
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
More information about the PPL-devel
mailing list