Opened 17 years ago
Closed 16 years ago
#20275 closed defect (fixed)
Ocaml 3.11.1_0 fails to build with gsed +with_default_names installed
| Reported by: | jdswinbank (John Swinbank) | Owned by: | pguyot (Paul Guyot) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | Cc: | jabronson@…, nox@…, vinc17@… | |
| Port: | ocaml gsed |
Description
As per subject, both when upgrading from the previous version (3.11.0_0) and when building from scratch.
Error is:
File "odoc_ast.ml", line 335, characters 38-3043: Error: Syntax error make[2]: *** [odoc_ast.cmo] Error 2 make[1]: *** [ocamldoc] Error 2 make: *** [world.opt] Error 2
Full log attached.
Attachments (1)
Change History (11)
Changed 17 years ago by jdswinbank (John Swinbank)
comment:1 Changed 17 years ago by jdswinbank (John Swinbank)
This seems to be a conflict with gsed, which I have installed +with_default_names. Deactivating it causes the build to proceed properly.
comment:2 Changed 17 years ago by mf2k (Frank Schima)
| Owner: | changed from macports-tickets@… to pguyot@… |
|---|
comment:3 Changed 17 years ago by nerdling (Jeremy Lavergne)
I also encounter a build failure when gsed+with_default_names is active. Deactivating it for the duration of the build is a workaround.
You might also consider using reinplace to replace "sed" with the results of "whereis sed".
comment:6 Changed 17 years ago by vinc17@…
I'd say that this is a bug in gsed under Mac OS X (this problem doesn't occur under Linux). I've reported a bug against the gsed port: #20686.
comment:7 Changed 17 years ago by vinc17@…
| Summary: | Ocaml 3.11.1_0 fails to build → Ocaml 3.11.1_0 fails to build with gsed +with_default_names installed |
|---|
comment:9 Changed 17 years ago by vinc17@…
If you experience the same problem with /usr/bin/sed (on your Mac OS X version) as with gsed (as you seem to say in #20686 comment 2), telling the Ocaml build system to use /usr/bin/sed won't be a solution.
comment:10 Changed 16 years ago by nox@…
| Cc: | nox@… added |
|---|---|
| Port: | gsed added |
| Resolution: | → fixed |
| Status: | new → closed |
| Version: | 1.7.1 |

Log of failed build