Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002378Frama-Cptestspublic2018-06-18 16:482018-11-30 10:41
Assigned Tobobot 
PrioritynormalSeverityminorReproducibilityhave not tried
Platformbytecode-onlyOSOpenBSDOS Version6.3
Product Version 
Target VersionFixed in Version 
Summary0002378: Bytecode only compilation fails when linking to stdlib
DescriptionCompiling bytecode only fails with this error:

ocamlfind ocamlc -I ptests -dtypes -vmthread -g -o bin/ptests.byte unix.cma threads.cma str.cma dynlink.cma ptests/ ptests/
File "ptests/", line 1:
Error: Required module `Uchar' is unavailable
Steps To ReproduceCompile OCaml >=4.03 without optimizing compilers.
Use this compiler to build frama-c
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2018-06-18 16:48 madroach New Issue
2018-06-18 16:48 madroach Status new => assigned
2018-06-18 16:48 madroach Assigned To => virgile
2018-11-30 10:41 signoles Assigned To virgile => bobot

Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker