Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002378Frama-Cptestspublic2018-06-18 16:482019-02-25 02:01
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? file icon patch-configure_in [^] (1,400 bytes) 2019-02-24 23:55 [Show Content]
? file icon patch-Makefile [^] (888 bytes) 2019-02-25 02:01 [Show Content]

- Relationships

-  Notes
madroach (reporter)
2019-02-24 23:58
edited on: 2019-02-24 23:59

I suspect the build error is caused by +vmthreads/stdlib.cma having a different ordering and set of modules than +stdlib.cma.
Since vmthreads are being deprecated anyway I would consider always building with system threads.
Alternatively, do at least prefer system threads even on bytecode builds as is done by the patch I just uploaded.

- 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
2019-02-24 23:56 madroach File Added: patch-configure_in
2019-02-24 23:58 madroach Note Added: 0006752
2019-02-24 23:59 madroach Note Edited: 0006752 View Revisions
2019-02-25 02:01 madroach File Added: patch-Makefile

Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker