Last active
September 1, 2016 20:42
-
-
Save akavel/a79998df8ea9520f8048b970f8a42975 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
C:\cygwin64\home\Mateusz\.opam\system\bin>set PATH=%PATH%;c:\cygwin64\home\Mateusz\.opam\system\lib\stublibs | |
C:\cygwin64\home\Mateusz\.opam\system\bin>utop | |
────────────────────────────┬──────────────────────────────────────────────────────────────┬──────────────────────────── | |
│ Welcome to utop version 1.19.3 (using OCaml version 4.02.3)! │ | |
└──────────────────────────────────────────────────────────────┘ | |
Type #utop_help for help about using utop. | |
─( 00:51:04 )─< command 0 >──────────────────────────────────────────────────────────────────────────────{ counter: 0 }─ | |
utop # #use "topfind";; | |
Cannot find file topfind. | |
─( 00:51:04 )─< command 1 >──────────────────────────────────────────────────────────────────────────────{ counter: 0 }─ | |
utop # Topdirs.dir_directory "/cygwin64/home/Mateusz/.opam/system/lib/toplevel" | |
;; | |
- : unit = () | |
─( 00:51:12 )─< command 2 >──────────────────────────────────────────────────────────────────────────────{ counter: 0 }─ | |
utop # #use "topfind";; | |
- : unit = () | |
Findlib has been successfully loaded. Additional directives: | |
#require "package";; to load a package | |
#list;; to list the available packages | |
#camlp4o;; to load camlp4 (standard syntax) | |
#camlp4r;; to load camlp4 (revised syntax) | |
#predicates "p,q,...";; to set these predicates | |
Topfind.reset();; to force that packages will be reloaded | |
#thread;; to enable threads | |
- : unit = () | |
─( 00:58:22 )─< command 3 >──────────────────────────────────────────────────────────────────────────────{ counter: 0 }─ | |
utop # #require "ctypes.foreign";; | |
Cannot load required shared library dllctypes-foreign-base_stubs. | |
Reason: dllctypes-foreign-base_stubs.dll: Operacja ukończona pomyślnie. | |
. | |
Error: Reference to undefined global `Ctypes_closure_properties' | |
─( 00:58:30 )─< command 4 >──────────────────────────────────────────────────────────────────────────────{ counter: 0 }─ | |
utop # #require "ctypes";; | |
─( 01:01:45 )─< command 5 >──────────────────────────────────────────────────────────────────────────────{ counter: 0 }─ | |
utop # #require "ctypes.foreign";; | |
Error: Reference to undefined global `Ctypes_closure_properties' |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
$ PATH=$PATH:/home/Mateusz/.opam/system/lib/stublibs/ rlwrap ocaml | |
OCaml version 4.02.3 | |
# #use "topfind";; | |
Cannot find file topfind. | |
# Topdirs.dir_directory "/cygwin64/home/Mateusz/.opam/system/lib/toplevel";; | |
- : unit = () | |
# #use "topfind";; | |
- : unit = () | |
Findlib has been successfully loaded. Additional directives: | |
#require "package";; to load a package | |
#list;; to list the available packages | |
#camlp4o;; to load camlp4 (standard syntax) | |
#camlp4r;; to load camlp4 (revised syntax) | |
#predicates "p,q,...";; to set these predicates | |
Topfind.reset();; to force that packages will be reloaded | |
#thread;; to enable threads | |
- : unit = () | |
# #require "ctypes.foreign";; | |
C:\OCaml\lib\unix.cma: loaded | |
C:\OCaml\lib\bigarray.cma: loaded | |
C:\OCaml\lib\str.cma: loaded | |
C:\cygwin64\home\Mateusz\.opam\system\lib\bytes: added to search path | |
C:\cygwin64\home\Mateusz\.opam\system\lib\ctypes: added to search path | |
C:\cygwin64\home\Mateusz\.opam\system\lib\ctypes\ctypes.cma: loaded | |
C:\cygwin64\home\Mateusz\.opam\system\lib\ctypes\ctypes-foreign-base.cma: loaded | |
Cannot load required shared library dllctypes-foreign-base_stubs. | |
Reason: dllctypes-foreign-base_stubs.dll: Cannot resolve ffi_type_pointer. | |
C:\cygwin64\home\Mateusz\.opam\system\lib\ctypes\ctypes-foreign-unthreaded.cma: loaded | |
Characters -1--1: | |
#require "ctypes.foreign";; | |
Error: Reference to undefined global `Ctypes_closure_properties' | |
# |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment