[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#252695: lintian: Check for stripped binaries should not be made for OCaml-generated bins



Package: lintian
Version: 1.23.0
Severity: normal

Hello,

The OCaml complier ocamlc can sometimes generate ELF executables (when
used with -custom or a library that uses -custom).  Here is an example:

/tmp$ echo 'print_endline "Hello world"' > test.ml
/tmp$ ocamlc -custom -o test test.ml
/tmp$ ./test
Hello world
/tmp$ ls -l test
-rwxr-xr-x    1 jgoerzen jgoerzen   157744 Jun  4 13:29 test
/tmp$ strip test
/tmp$ ls -l test
-rwxr-xr-x    1 jgoerzen jgoerzen   113804 Jun  4 13:29 test
/tmp$ ./test
No bytecode file specified.

Any file left unstripped in this manner causes a Lintian error.

Even strip --strip-debug will generate the error.

You can tell you have an OCaml program if you get a result from:

objdump -t executable | grep caml_main

-- John

-- System Information:
Debian Release: testing/unstable
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: i386 (i686)
Kernel: Linux 2.6.4
Locale: LANG=C, LC_CTYPE=en_US

Versions of packages lintian depends on:
ii  binutils                   2.14.90.0.7-8 The GNU assembler, linker and bina
ii  diffstat                   1.34-1        produces graph of changes introduc
ii  file                       4.07-2        Determines file type using "magic"
ii  man-db                     2.4.2-16      The on-line manual pager
ii  perl                       5.8.4-2       Larry Wall's Practical Extraction 

-- no debconf information



Reply to: