Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

passer l'option -o au compilateur C #2915

Closed
vicuna opened this issue Jul 7, 2004 · 5 comments
Closed

passer l'option -o au compilateur C #2915

vicuna opened this issue Jul 7, 2004 · 5 comments

Comments

@vicuna
Copy link

vicuna commented Jul 7, 2004

Original bug ID: 2915
Reporter: administrator
Status: acknowledged
Resolution: open
Priority: normal
Severity: feature
Category: compiler driver
Has duplicate: #3904

Bug description

Bonjour,

quelques remarques à propos du CVS 3.08:

  • dans otherlibs/unix/write.c (unix_single_write), le 'ret' devrait être
    initialisé à 0 pour le cas où 'len' est égal à 0.

  • les compilateurs utilisent maintenant l'option -o en mode
    compilation pour les fichiers .ml/.mli, mais pas pour les fichiers .c:
    il suffirait juste de passer le -o au compilateur C.

--
Olivier

@vicuna
Copy link
Author

vicuna commented Jul 8, 2004

Comment author: administrator

1- fixed 2004-07-08 by XL.
2- is feature wish.

@vicuna
Copy link
Author

vicuna commented Dec 8, 2016

Comment author: @mshinwell

The compiler does still ignore "-o" when compiling C files. Does anyone argue for changing this?

@vicuna
Copy link
Author

vicuna commented Dec 8, 2016

Comment author: @mshinwell

(Xavier previously argued that there is no standard convention for C compilers as to how "-o" works.)

@mshinwell
Copy link
Contributor

No-one has answered my question in the last 2.5 years, so closing.

@dbuenzli
Copy link
Contributor

There is still an issue about the second point here #7677

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants