You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 236 Reporter: administrator Status: closed Resolution: won't fix Priority: normal Severity: feature Category: ~DO NOT USE (was: OCaml general)
Bug description
** Configuration summary **
Directories where Objective Caml will be installed:
binaries.................. /usr/local/bin
standard library.......... /usr/local/lib/ocaml
manual pages.............. /usr/local/man/man1 (with extension .1)
Configuration for the bytecode compiler:
C compiler used........... gcc
options for compiling..... -fno-defer-pop -Wall -Wno-unused -U_WIN32
options for linking....... -lm -lcurses
Configuration for the native-code compiler:
hardware architecture..... i386
OS variant................ cygwin
C compiler used........... gcc
options for compiling..... -Wall -Wno-unused -U_WIN32
options for linking....... -lm
assembler ................ $(AS)
preprocessed assembler ... gcc -c -DSYS_$(SYSTEM)
profiling with gprof ..... not supported
Source-level replay debugger: supported
Configuration for the external libraries:
libraries supported ...... unix str num dynlink bigarray threads
labltk
The "num" library:
target architecture ...... C
The "graph" library:
options for compiling ....
options for linking ...... not found
The "labltk" library:
use tcl/tk version ....... 8.0
options for compiling ....
options for linking ...... -cclib -ltk80 -cclib -ltcl80
ocaml$
The text was updated successfully, but these errors were encountered:
Original bug ID: 236
Reporter: administrator
Status: closed
Resolution: won't fix
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)
Bug description
** Configuration summary **
Directories where Objective Caml will be installed:
binaries.................. /usr/local/bin
standard library.......... /usr/local/lib/ocaml
manual pages.............. /usr/local/man/man1 (with extension .1)
Configuration for the bytecode compiler:
C compiler used........... gcc
options for compiling..... -fno-defer-pop -Wall -Wno-unused -U_WIN32
options for linking....... -lm -lcurses
Configuration for the native-code compiler:
hardware architecture..... i386
OS variant................ cygwin
C compiler used........... gcc
options for compiling..... -Wall -Wno-unused -U_WIN32
options for linking....... -lm
assembler ................ $(AS)
preprocessed assembler ... gcc -c -DSYS_$(SYSTEM)
profiling with gprof ..... not supported
Source-level replay debugger: supported
Configuration for the external libraries:
libraries supported ...... unix str num dynlink bigarray threads
labltk
The "num" library:
target architecture ...... C
The "graph" library:
options for compiling ....
options for linking ...... not found
The "labltk" library:
use tcl/tk version ....... 8.0
options for compiling ....
options for linking ...... -cclib -ltk80 -cclib -ltcl80
ocaml$
The text was updated successfully, but these errors were encountered: