[PPL-devel] Extracting the source files
Albert Cluster
albclus at gmail.com
Thu Jan 24 13:22:23 CET 2013
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>" not changed
gpg: key B5944392: "Roberto Bagnara <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 ?
2013/1/22 Roberto Bagnara <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>>" 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$ 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>>"
>>
>> 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>"
> ...
>
> Kind regards,
>
> Roberto
>
> 2013/1/22 Roberto Bagnara <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>>"
>>
>> ...
>>
>> 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>
>>
>> BUGSENG srl - http://bugseng.com
>> mailto:roberto.bagnara at __bugse**ng.com<http://bugseng.com><mailto:
>> roberto.bagnara@**bugseng.com <roberto.bagnara at bugseng.com>>
>>
>>
>>
>>
>> ______________________________**_________________
>> PPL-devel mailing list
>> 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
> BUGSENG srl - http://bugseng.com
> mailto:roberto.bagnara@**bugseng.com<roberto.bagnara at bugseng.com>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20130124/3202d783/attachment.htm>
More information about the PPL-devel
mailing list