--- layout: fc_discuss_archives title: Message 22 from Frama-C-discuss on May 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] minor issue with Sodium source distribution file



Hi,

The file frama-c-Sodium-20150201.tar.gz has some duplicate entries:

    gunzip < frama-c-Sodium-20150201.tar.gz | bsdtar -t | \
    sort | uniq -c | sort -n
    ...
       2 frama-c-Sodium-20150201/src/memory_state/inout_type.mli

where the second entry is a symbolic link to the first.  I don't get it
but this seems to be a common bug.  GNU tar ignores it, bsdtar doesn't
and fails.

I think the -h option of gtar when creating the archive would stop the
symlink duplicates from being included.

I'm building Frama-C with pkgsrc on OS X and I don't have much control
over the bsdtar command, so I would really appreciate it if you could
rebuild the archive for us.

Yours,
Mansour