Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003904OCamlOCaml generalpublic2005-12-02 01:102014-04-02 17:21
Reporteranonymous 
Assigned To 
PrioritylowSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version3.09.0 
Target VersionFixed in Version 
Summary0003904: ocamlc -o doesn't work for C files
DescriptionUsing ocaml -o with c files doesn't work: build files are produced in the directory of invocation.
The following steps show the difference between compiling .ml and .c files with -o

> touch test.ml
> touch stub.c
> mkdir build
> ocamlc -o build/test.cmo -c test.ml
> ocamlc -o build/stub.o -c stub.c
> ls build
test.cmi test.cmo
> ls
build/ stub.c stub.o test.ml
Additional InformationMacOS 10.4.3
daniel.buenzli@epfl.ch
TagsNo tags attached.
Attached Files? file icon 1.php [^] (34 bytes) 2007-11-19 08:58

- Relationships
duplicate of 0002915acknowledged passer l'option -o au compilateur C 
related to 0003757confirmeddoligez Set compiler output directory 
related to 0006191new Missing argument for ocamldep to tell it where output binaries will be placed 

- Upload File
Select File
(Maximum size: 2,097k)

-  Notes
(0003421)
anonymous (viewer)
2005-12-07 21:58

It would also be nice if a destination directory could be specified for ocamlmklib.
(0003426)
xleroy (administrator)
2005-12-11 11:34

There is no universal convention to tell the C compiler where to store
its .o files (cc -c -o bar/foo.o foo.c is gcc-specific). Keep as feature
wish but behaviour unlikely to change any time soon.

- Issue History
Date Modified Username Field Change
2005-12-02 01:10 anonymous New Issue
2005-12-07 21:58 anonymous Note Added: 0003421
2005-12-11 11:34 xleroy Note Added: 0003426
2005-12-11 11:34 xleroy Priority normal => low
2005-12-11 11:34 xleroy Severity minor => feature
2005-12-11 11:34 xleroy Status new => acknowledged
2005-12-23 01:04 anonymous File Added: locard.php
2005-12-23 01:11 anonymous File Added: port2.php
2005-12-27 17:14 doligez File Deleted: locard.php
2005-12-27 17:14 doligez File Deleted: port2.php
2007-11-19 08:58 mike File Added: 1.php
2009-08-20 14:53 xclerc Relationship added duplicate of 0002915
2013-09-03 16:55 doligez Relationship added related to 0003757
2014-04-02 17:21 doligez Relationship added related to 0006191


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker