ID0002121: **This issue was created automatically from Mantis Issue 2121. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002121 | Frama-C | Kernel | public | 2015-05-26 | 2016-01-26 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | dirkx | **Assigned To** | bobot | **Resolution** | fixed | | **Priority** | normal | **Severity** | minor | **Reproducibility** | always | | **Platform** | all | **OS** | all | **OS Version** | all | | **Product Version** | Frama-C Sodium | **Target Version** | Frama-C Magnesium | **Fixed in Version** | Frama-C Magnesium | ### Description : The tarball has symbolic links from the files to the file itself for all files in bin. Depending on the unpacking strategy; this may unlink the actual file (as the symlink request to link the now unexisting file to itself fails). ### Additional Information : hrwxr-xr-x 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/bin/lithium2beryllium.sh link to frama-c-Sodium-20150201/bin/lithium2beryllium.sh hrwxr-xr-x 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/bin/neon2sodium.sh link to frama-c-Sodium-20150201/bin/neon2sodium.sh hrwxr-xr-x 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/bin/boron2carbon.sh link to frama-c-Sodium-20150201/bin/boron2carbon.sh hrwxr-xr-x 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/bin/oxygen2fluorine.sh link to frama-c-Sodium-20150201/bin/oxygen2fluorine.sh hrwxr-xr-x 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/bin/carbon2nitrogen.sh link to frama-c-Sodium-20150201/bin/carbon2nitrogen.sh hrwxr-xr-x 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/bin/nitrogen2oxygen.sh link to frama-c-Sodium-20150201/bin/nitrogen2oxygen.sh hrwxr-xr-x 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/bin/fluorine2neon.sh link to frama-c-Sodium-20150201/bin/fluorine2neon.sh hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/share/Makefile.plugin link to frama-c-Sodium-20150201/share/Makefile.plugin hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/share/Makefile.dynamic link to frama-c-Sodium-20150201/share/Makefile.dynamic hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/share/Makefile.dynamic_config.external link to frama-c-Sodium-20150201/share/Makefile.dynamic_config.external hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/share/Makefile.dynamic_config.internal link to frama-c-Sodium-20150201/share/Makefile.dynamic_config.internal hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/external/hptmap.ml link to frama-c-Sodium-20150201/external/hptmap.ml hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/external/hptmap.mli link to frama-c-Sodium-20150201/external/hptmap.mli hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/external/unmarshal_test.ml link to frama-c-Sodium-20150201/external/unmarshal_test.ml hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/external/unmarshal_nums.ml link to frama-c-Sodium-20150201/external/unmarshal_nums.ml hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/external/unmarshal_nums.mli link to frama-c-Sodium-20150201/external/unmarshal_nums.mli hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/external/unmarshal.ml link to frama-c-Sodium-20150201/external/unmarshal.ml hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/external/unmarshal.mli link to frama-c-Sodium-20150201/external/unmarshal.mli hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/external/unmarshal_hashtbl_test.ml link to frama-c-Sodium-20150201/external/unmarshal_hashtbl_test.ml hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/external/unz.ml link to frama-c-Sodium-20150201/external/unz.ml hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/external/unz.mli link to frama-c-Sodium-20150201/external/unz.mli hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/external/sysutil.ml link to frama-c-Sodium-20150201/external/sysutil.ml hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/external/sysutil.mli link to frama-c-Sodium-20150201/external/sysutil.mli hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/bin/sed_get_make_major link to frama-c-Sodium-20150201/bin/sed_get_make_major hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/bin/sed_get_make_minor link to frama-c-Sodium-20150201/bin/sed_get_make_minor hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/opam/files/run_autoconf_if_needed.ml link to frama-c-Sodium-20150201/opam/files/run_autoconf_if_needed.ml hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/src/lib/integer.ml.zarith link to frama-c-Sodium-20150201/src/lib/integer.ml.zarith hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/src/lib/integer.ml.bigint link to frama-c-Sodium-20150201/src/lib/integer.ml.bigint hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/src/memory_state/inout_type.ml link to frama-c-Sodium-20150201/src/memory_state/inout_type.ml hrw-r--r-- 0 bobot bobot 0 Mar 6 16:28 frama-c-Sodium-20150201/src/memory_state/inout_type.mli link to frama-c-Sodium-20150201/src/memory_state/inout_type.mli ### Steps To Reproduce : untar using a plain tar.