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

Jump to bottom

Debug version of ocaml for win32 #8012

Closed
vicuna opened this issue Feb 10, 2003 · 2 comments
Closed

Debug version of ocaml for win32 #8012

vicuna opened this issue Feb 10, 2003 · 2 comments
Assignees
@dra27
Labels
feature-wish platform-support Stale windows

Comments

@vicuna
Copy link

vicuna commented Feb 10, 2003

Original bug ID: 1540
Reporter: administrator
Assigned to: @dra27
Status: assigned (set by @mshinwell on 2016-12-08T11:46:42Z)
Resolution: open
Priority: normal
Severity: feature
Category: platform support (windows, cross-compilation, etc)

Bug description

Full_Name: Ohad Rodeh
Version: 3.06
OS: WinXP
Submission from: nesher3.haifa.il.ibm.com (192.115.216.85)

The problem is that OCaml does not come with a pre-compiled version built for
debugging under win32. This means that standard debugging techniques under win32
will not work. On win32 the important libraries have version built for
debugging, for example LIBC. I'm asking for the same thing for ocaml. Of course,
the user can do this himself, but this requires CYGWIN to compile ocaml from
scratch, something most users will not bother with.
@vicuna
Copy link
Author

vicuna commented Dec 8, 2016 •
edited by dra27

Comment author: @mshinwell

@dra27 Could you see what the current situation is for Windows in this regard? The Unix ports now use "-g" for both building the OCaml code of the compilers and the C code of the runtime.

@nojb nojb added the windows label Mar 15, 2019
@github-actions
Copy link

This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.

@github-actions github-actions bot added the Stale label Dec 28, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dra27 dra27

Labels
feature-wish platform-support Stale windows
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@nojb @dra27 @vicuna