Skip to content

Instantly share code, notes, and snippets.

@catalin-hritcu

catalin-hritcu/ocaml-4.02.1

Created November 21, 2014 12:19
Show Gist options
  • Save catalin-hritcu/421820d445afdccc32ba to your computer and use it in GitHub Desktop.
Save catalin-hritcu/421820d445afdccc32ba to your computer and use it in GitHub Desktop.
Download ZIP
F* OCaml backend with OCaml 4.02.1
Raw
ocaml-4.02.1
[hritcu@detained src]$ opam switch
system I system System compiler (4.02.0)
4.02.1 C 4.02.1 Official 4.02.1 release
4.01.0 I 4.01.0 Official 4.01.0 release
3.12.1 I 3.12.1 Official 3.12.1 release
-- -- 3.11.2 Official 3.11.2 release
-- -- 4.00.0 Official 4.00.0 release
-- -- 4.00.1 Official 4.00.1 release
-- -- 4.02.0 Official 4.02.0 release
# 63 more patched or experimental compilers, use '--all' to show
[hritcu@detained src]$ opam update
[default] Downloading https://opam.ocaml.org/urls.txt
[default] Downloading https://opam.ocaml.org/index.tar.gz
Updating ~/.opam/repo/compiler-index ...
Updating ~/.opam/compilers/ ...
The following NEW compilers are available:
- 4.03.0+pr116
- 4.03.0+pr117
- 4.03.0+pr118
- 4.03.0+pr65
The following compiler descriptions have been DELETED:
- 4.03.0+pr108
- 4.03.0+pr114
- 4.03.0+pr88
- 4.03.0+pr89
Updating ~/.opam/repo/package-index ...
Updating ~/.opam/packages/ ...
The following package has been UPDATED upstream:
- jsonm.0.9.1
The following package has been DELETED:
- alpacaml.1.0.0
Updates available for 4.02.1, apply them with 'opam upgrade':
=== 1 to upgrade ===
[hritcu@detained src]$ opam upgrade
The following actions will be performed:
- upgrade cmdliner from 0.9.5 to 0.9.6
=== 1 to upgrade ===
Do you want to continue ? [Y/n] Y
=-=- Synchronizing package archives -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[default] Downloading https://opam.ocaml.org/archives/cmdliner.0.9.6+opam.tar.gz
=-=- Removing Packages =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Removing cmdliner.0.9.5.
=-=- Installing packages =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Building cmdliner.0.9.6:
ocaml pkg/git.ml
ocaml pkg/build.ml native=true native-dynlink=true
Installing cmdliner.0.9.6.
[hritcu@detained src]$ opam install batteries camlp4 conf-gmp cstruct ctypes fileutils menhir oasis ocaml-data-notation ocamlfind ocamlify ocamlmod ocplib-endian optcomp ounit sexplib sqlite3-ocaml type_conv zarith
[NOTE] Package camlp4 is already installed (current version is 4.02.1+1).
[NOTE] Package ocamlfind is already installed (current version is 1.5.5).
The following actions will be performed:
- install base-bytes.base [required by ocplib-endian, ctypes]
- install conf-gmp.1
- install optcomp.1.6
- install ocamlify.0.0.1
- install ounit.2.0.0
- install batteries.2.3.1
- install menhir.20140422
- install type_conv.112.01.00
- install ocamlmod.0.0.7
- install sqlite3-ocaml.2.0.7
- install ctypes.0.3.3
- install zarith.1.3
- install ocplib-endian.0.7
- install fileutils.0.4.4
- install sexplib.112.01.00
- install ocaml-data-notation.0.0.11
- install cstruct.1.4.0
- install oasis.0.4.5
=== 18 to install ===
Do you want to continue ? [Y/n] Y
=-=- Synchronizing package archives -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[default] Downloading https://opam.ocaml.org/archives/batteries.2.3.1+opam.tar.gz
[default] Downloading https://opam.ocaml.org/archives/cstruct.1.4.0+opam.tar.gz
[default] Downloading https://opam.ocaml.org/archives/ctypes.0.3.3+opam.tar.gz
[default] Downloading https://opam.ocaml.org/archives/fileutils.0.4.4+opam.tar.gz
[default] Downloading https://opam.ocaml.org/archives/menhir.20140422+opam.tar.gz
[default] Downloading https://opam.ocaml.org/archives/oasis.0.4.5+opam.tar.gz
[default] Downloading https://opam.ocaml.org/archives/ocaml-data-notation.0.0.11+opam.tar.gz
[default] Downloading https://opam.ocaml.org/archives/ocamlify.0.0.1+opam.tar.gz
[default] Downloading https://opam.ocaml.org/archives/ocamlmod.0.0.7+opam.tar.gz
[default] Downloading https://opam.ocaml.org/archives/ocplib-endian.0.7+opam.tar.gz
[default] Downloading https://opam.ocaml.org/archives/optcomp.1.6+opam.tar.gz
[default] Downloading https://opam.ocaml.org/archives/ounit.2.0.0+opam.tar.gz
[default] Downloading https://opam.ocaml.org/archives/sexplib.112.01.00+opam.tar.gz
[default] Downloading https://opam.ocaml.org/archives/sqlite3-ocaml.2.0.7+opam.tar.gz
[default] Downloading https://opam.ocaml.org/archives/type_conv.112.01.00+opam.tar.gz
[default] Downloading https://opam.ocaml.org/archives/zarith.1.3+opam.tar.gz
=-=- Installing packages =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Installing base-bytes.base.
Building batteries.2.3.1:
ocaml setup.ml -configure --prefix /home/hritcu/.opam/4.02.1
make all
make install
Installing batteries.2.3.1.
Copying ~/.opam/repo/default/packages/conf-gmp/conf-gmp.1/files/test.c to ~/.opam/4.02.1/build/conf-gmp.1/
Building conf-gmp.1:
cc -c test.c
Installing conf-gmp.1.
Building menhir.20140422:
make PREFIX=/home/hritcu/.opam/4.02.1 docdir=/home/hritcu/.opam/4.02.1/doc/menhir libdir=/home/hritcu/.opam/4.02.1/lib/menhir mandir=/home/hritcu/.opam/4.02.1/man/man1
make install PREFIX=/home/hritcu/.opam/4.02.1 docdir=/home/hritcu/.opam/4.02.1/doc/menhir libdir=/home/hritcu/.opam/4.02.1/lib/menhir mandir=/home/hritcu/.opam/4.02.1/man/man1
Installing menhir.20140422.
Building ocamlify.0.0.1:
ocaml setup.ml -configure --prefix /home/hritcu/.opam/4.02.1
ocaml setup.ml -build
ocaml setup.ml -install
Installing ocamlify.0.0.1.
Building ocamlmod.0.0.7:
ocaml setup.ml -configure --prefix /home/hritcu/.opam/4.02.1
ocaml setup.ml -build
ocaml setup.ml -install
Installing ocamlmod.0.0.7.
Building optcomp.1.6:
./configure --prefix /home/hritcu/.opam/4.02.1
make
make install
Installing optcomp.1.6.
Building ounit.2.0.0:
make build
make install
Installing ounit.2.0.0.
Building sqlite3-ocaml.2.0.7:
ocaml setup.ml -configure --prefix /home/hritcu/.opam/4.02.1
ocaml setup.ml -build
ocaml setup.ml -install
Installing sqlite3-ocaml.2.0.7.
Building type_conv.112.01.00:
make
make install
Installing type_conv.112.01.00.
Building ctypes.0.3.3:
make
make install
Installing ctypes.0.3.3.
Building fileutils.0.4.4:
./configure
make
make install
Installing fileutils.0.4.4.
Building ocaml-data-notation.0.0.11:
make
make install
Installing ocaml-data-notation.0.0.11.
Building ocplib-endian.0.7:
ocaml setup.ml -configure --disable-debug --prefix /home/hritcu/.opam/4.02.1
ocaml setup.ml -build
ocaml setup.ml -install
Installing ocplib-endian.0.7.
Building sexplib.112.01.00:
./configure --enable-syntax
make
make install
Installing sexplib.112.01.00.
Building zarith.1.3:
./configure
make
make install
Installing zarith.1.3.
Building cstruct.1.4.0:
make
make install
Installing cstruct.1.4.0.
Building oasis.0.4.5:
ocaml setup.ml -configure --prefix /home/hritcu/.opam/4.02.1
ocaml setup.ml -build
ocaml setup.ml -install
Installing oasis.0.4.5.
[hritcu@detained src]$ cd support/ocaml/3rdparty
[hritcu@detained 3rdparty]$ git submodule init
Submodule 'src/support/ocaml/3rdparty/ocaml-asn1-combinators' (https://github.com/mirleft/ocaml-asn1-combinators.git) registered for path 'ocaml-asn1-combinators'
Submodule 'src/support/ocaml/3rdparty/ocaml-nocrypto' (https://github.com/mirleft/ocaml-nocrypto.git) registered for path 'ocaml-nocrypto'
Submodule 'src/support/ocaml/3rdparty/ocaml-x509' (https://github.com/mirleft/ocaml-x509.git) registered for path 'ocaml-x509'
[hritcu@detained 3rdparty]$ git submodule update
Cloning into 'src/support/ocaml/3rdparty/ocaml-asn1-combinators'...
remote: Counting objects: 780, done.
remote: Total 780 (delta 0), reused 0 (delta 0)
Receiving objects: 100% (780/780), 412.08 KiB | 475.00 KiB/s, done.
Resolving deltas: 100% (546/546), done.
Checking connectivity... done.
Submodule path 'ocaml-asn1-combinators': checked out 'd76558cbadbc0c666e406df3f0a71c400f743734'
Cloning into 'src/support/ocaml/3rdparty/ocaml-nocrypto'...
remote: Counting objects: 2108, done.
remote: Total 2108 (delta 0), reused 0 (delta 0)
Receiving objects: 100% (2108/2108), 3.42 MiB | 1.23 MiB/s, done.
Resolving deltas: 100% (1473/1473), done.
Checking connectivity... done.
Submodule path 'ocaml-nocrypto': checked out '8fabaa2112642df629da5f92a58f48e5f0d54d0a'
Cloning into 'src/support/ocaml/3rdparty/ocaml-x509'...
remote: Counting objects: 1233, done.
remote: Total 1233 (delta 0), reused 0 (delta 0)
Receiving objects: 100% (1233/1233), 293.99 KiB | 361.00 KiB/s, done.
Resolving deltas: 100% (527/527), done.
Checking connectivity... done.
Submodule path 'ocaml-x509': checked out '5add9a0b4aaf9a195c9b0c2dd84e63025216ec5e'
[hritcu@detained 3rdparty]$ make
cd ocaml-asn1-combinators && ( ocamlfind remove asn1-combinators || true )
ocamlfind: [WARNING] No such directory: /home/hritcu/.opam/4.02.1/lib/asn1-combinators
make -C ocaml-asn1-combinators
make[1]: Entering directory '/home/hritcu/Projects/fstar/pub/src/support/ocaml/3rdparty/ocaml-asn1-combinators'
ocaml setup.ml -configure
File "setup.ml", line 247, characters 8-26:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "setup.ml", line 2502, characters 6-24:
Warning 3: deprecated: Lazy.lazy_from_fun
Use Lazy.from_fun instead.
Configuration:
ocamlfind: ........................................... /home/hritcu/.opam/4.02.1/bin/ocamlfind
ocamlc: .............................................. /home/hritcu/.opam/4.02.1/bin/ocamlc.opt
ocamlopt: ............................................ /home/hritcu/.opam/4.02.1/bin/ocamlopt.opt
ocamlbuild: .......................................... /home/hritcu/.opam/4.02.1/bin/ocamlbuild
Package name: ........................................ asn1-combinators
Package version: ..................................... 0.1.1
os_type: ............................................. Unix
system: .............................................. linux
architecture: ........................................ amd64
ccomp_type: .......................................... cc
ocaml_version: ....................................... 4.02.1
standard_library_default: ............................ /home/hritcu/.opam/4.02.1/lib/ocaml
standard_library: .................................... /home/hritcu/.opam/4.02.1/lib/ocaml
standard_runtime: .................................... /home/hritcu/.opam/4.02.1/bin/ocamlrun
bytecomp_c_compiler: ................................. gcc -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC
native_c_compiler: ................................... gcc -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT
model: ............................................... default
ext_obj: ............................................. .o
ext_asm: ............................................. .s
ext_lib: ............................................. .a
ext_dll: ............................................. .so
default_executable_name: ............................. a.out
systhread_supported: ................................. true
Install architecture-independent files dir: .......... /usr/local
Install architecture-dependent files in dir: ......... $prefix
User executables: .................................... $exec_prefix/bin
System admin executables: ............................ $exec_prefix/sbin
Program executables: ................................. $exec_prefix/libexec
Read-only single-machine data: ....................... $prefix/etc
Modifiable architecture-independent data: ............ $prefix/com
Modifiable single-machine data: ...................... $prefix/var
Object code libraries: ............................... $exec_prefix/lib
Read-only arch-independent data root: ................ $prefix/share
Read-only architecture-independent data: ............. $datarootdir
Info documentation: .................................. $datarootdir/info
Locale-dependent data: ............................... $datarootdir/locale
Man documentation: ................................... $datarootdir/man
Documentation root: .................................. $datarootdir/doc/$pkg_name
HTML documentation: .................................. $docdir
DVI documentation: ................................... $docdir
PDF documentation: ................................... $docdir
PS documentation: .................................... $docdir
findlib_version: ..................................... 1.5.5
is_native: ........................................... true
suffix_program: ......................................
Remove a file.: ...................................... rm -f
Remove a directory.: ................................. rm -rf
Turn ocaml debug flag on: ............................ true
Turn ocaml profile flag on: .......................... false
Compiler support generation of .cmxs.: ............... true
OCamlbuild additional flags: .........................
Create documentations: ............................... true
Compile tests executable and library and run them: ... false
pkg_cstruct: ......................................... /home/hritcu/.opam/4.02.1/lib/cstruct
pkg_zarith: .......................................... /home/hritcu/.opam/4.02.1/lib/zarith
ocaml setup.ml -build
File "setup.ml", line 247, characters 8-26:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "setup.ml", line 2502, characters 6-24:
Warning 3: deprecated: Lazy.lazy_from_fun
Use Lazy.from_fun instead.
Finished, 1 target (0 cached) in 00:00:00.
+ /home/hritcu/.opam/4.02.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -principal -strict-sequence -w A-4-33-40-41-42-43-34-44 -package cstruct -package zarith -I src -o src/asn_prim.cmo src/asn_prim.ml
File "src/asn_prim.ml", line 129, characters 12-25:
Warning 3: deprecated: String.create
Use Bytes.create instead.
File "src/asn_prim.ml", line 130, characters 26-65:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "src/asn_prim.ml", line 143, characters 13-24:
Warning 48: implicit elimination of optional arguments ?off, ?len
File "src/asn_prim.ml", line 150, characters 14-27:
Warning 3: deprecated: String.create
Use Bytes.create instead.
File "src/asn_prim.ml", line 152, characters 6-46:
Warning 3: deprecated: String.set
Use Bytes.set instead.
+ /home/hritcu/.opam/4.02.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -principal -strict-sequence -w A-4-33-40-41-42-43-34-44 -package cstruct -package zarith -I src -o src/asn_combinators.cmo src/asn_combinators.ml
File "src/asn_combinators.ml", line 93, characters 14-26:
Warning 3: deprecated: Array.create
Use Array.make instead.
+ /home/hritcu/.opam/4.02.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -principal -strict-sequence -package cstruct -package zarith -I src -o src/asn_prim.cmx src/asn_prim.ml
File "src/asn_prim.ml", line 129, characters 12-25:
Warning 3: deprecated: String.create
Use Bytes.create instead.
File "src/asn_prim.ml", line 130, characters 26-65:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "src/asn_prim.ml", line 150, characters 14-27:
Warning 3: deprecated: String.create
Use Bytes.create instead.
File "src/asn_prim.ml", line 152, characters 6-46:
Warning 3: deprecated: String.set
Use Bytes.set instead.
+ /home/hritcu/.opam/4.02.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -principal -strict-sequence -package cstruct -package zarith -I src -o src/asn_combinators.cmx src/asn_combinators.ml
File "src/asn_combinators.ml", line 93, characters 14-26:
Warning 3: deprecated: Array.create
Use Array.make instead.
Finished, 41 targets (0 cached) in 00:00:00.
make[1]: Leaving directory '/home/hritcu/Projects/fstar/pub/src/support/ocaml/3rdparty/ocaml-asn1-combinators'
make -C ocaml-asn1-combinators install
make[1]: Entering directory '/home/hritcu/Projects/fstar/pub/src/support/ocaml/3rdparty/ocaml-asn1-combinators'
ocaml setup.ml -install
File "setup.ml", line 247, characters 8-26:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "setup.ml", line 2502, characters 6-24:
Warning 3: deprecated: Lazy.lazy_from_fun
Use Lazy.from_fun instead.
W: Nothing to install for findlib library 'testlib'
Installed /home/hritcu/.opam/4.02.1/lib/asn1-combinators/asn.mli
Installed /home/hritcu/.opam/4.02.1/lib/asn1-combinators/asn1-combinators.cma
Installed /home/hritcu/.opam/4.02.1/lib/asn1-combinators/asn1-combinators.cmxa
Installed /home/hritcu/.opam/4.02.1/lib/asn1-combinators/asn1-combinators.a
Installed /home/hritcu/.opam/4.02.1/lib/asn1-combinators/asn1-combinators.cmxs
Installed /home/hritcu/.opam/4.02.1/lib/asn1-combinators/asn.cmi
Installed /home/hritcu/.opam/4.02.1/lib/asn1-combinators/asn_ber_der.cmx
Installed /home/hritcu/.opam/4.02.1/lib/asn1-combinators/asn_combinators.cmx
Installed /home/hritcu/.opam/4.02.1/lib/asn1-combinators/asn_random.cmx
Installed /home/hritcu/.opam/4.02.1/lib/asn1-combinators/asn_core.cmx
Installed /home/hritcu/.opam/4.02.1/lib/asn1-combinators/asn_prim.cmx
Installed /home/hritcu/.opam/4.02.1/lib/asn1-combinators/asn_writer.cmx
Installed /home/hritcu/.opam/4.02.1/lib/asn1-combinators/asn_cache.cmx
Installed /home/hritcu/.opam/4.02.1/lib/asn1-combinators/asn_time.cmx
Installed /home/hritcu/.opam/4.02.1/lib/asn1-combinators/asn_oid.cmx
Installed /home/hritcu/.opam/4.02.1/lib/asn1-combinators/asn.cmx
Installed /home/hritcu/.opam/4.02.1/lib/asn1-combinators/META
make[1]: Leaving directory '/home/hritcu/Projects/fstar/pub/src/support/ocaml/3rdparty/ocaml-asn1-combinators'
cd ocaml-nocrypto && ( ocamlfind remove nocrypto || true )
ocamlfind: [WARNING] No such directory: /home/hritcu/.opam/4.02.1/lib/nocrypto
make -C ocaml-nocrypto
make[1]: Entering directory '/home/hritcu/Projects/fstar/pub/src/support/ocaml/3rdparty/ocaml-nocrypto'
ocaml setup.ml -configure
File "setup.ml", line 247, characters 8-26:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "setup.ml", line 2502, characters 6-24:
Warning 3: deprecated: Lazy.lazy_from_fun
Use Lazy.from_fun instead.
Configuration:
ocamlfind: ........................................... /home/hritcu/.opam/4.02.1/bin/ocamlfind
ocamlc: .............................................. /home/hritcu/.opam/4.02.1/bin/ocamlc.opt
ocamlopt: ............................................ /home/hritcu/.opam/4.02.1/bin/ocamlopt.opt
ocamlbuild: .......................................... /home/hritcu/.opam/4.02.1/bin/ocamlbuild
Package name: ........................................ nocrypto
Package version: ..................................... 0.2.0
os_type: ............................................. Unix
system: .............................................. linux
architecture: ........................................ amd64
ccomp_type: .......................................... cc
ocaml_version: ....................................... 4.02.1
standard_library_default: ............................ /home/hritcu/.opam/4.02.1/lib/ocaml
standard_library: .................................... /home/hritcu/.opam/4.02.1/lib/ocaml
standard_runtime: .................................... /home/hritcu/.opam/4.02.1/bin/ocamlrun
bytecomp_c_compiler: ................................. gcc -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC
native_c_compiler: ................................... gcc -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT
model: ............................................... default
ext_obj: ............................................. .o
ext_asm: ............................................. .s
ext_lib: ............................................. .a
ext_dll: ............................................. .so
default_executable_name: ............................. a.out
systhread_supported: ................................. true
Install architecture-independent files dir: .......... /usr/local
Install architecture-dependent files in dir: ......... $prefix
User executables: .................................... $exec_prefix/bin
System admin executables: ............................ $exec_prefix/sbin
Program executables: ................................. $exec_prefix/libexec
Read-only single-machine data: ....................... $prefix/etc
Modifiable architecture-independent data: ............ $prefix/com
Modifiable single-machine data: ...................... $prefix/var
Object code libraries: ............................... $exec_prefix/lib
Read-only arch-independent data root: ................ $prefix/share
Read-only architecture-independent data: ............. $datarootdir
Info documentation: .................................. $datarootdir/info
Locale-dependent data: ............................... $datarootdir/locale
Man documentation: ................................... $datarootdir/man
Documentation root: .................................. $datarootdir/doc/$pkg_name
HTML documentation: .................................. $docdir
DVI documentation: ................................... $docdir
PDF documentation: ................................... $docdir
PS documentation: .................................... $docdir
findlib_version: ..................................... 1.5.5
is_native: ........................................... true
suffix_program: ......................................
Remove a file.: ...................................... rm -f
Remove a directory.: ................................. rm -rf
Turn ocaml debug flag on: ............................ true
Turn ocaml profile flag on: .......................... false
Compiler support generation of .cmxs.: ............... true
OCamlbuild additional flags: .........................
Make the C compiler go hardcore: ..................... false
Build the benchmark programs: ........................ false
Create documentations: ............................... true
Compile tests executable and library and run them: ... false
pkg_ctypes_stubs: .................................... /home/hritcu/.opam/4.02.1/lib/ctypes
pkg_cstruct: ......................................... /home/hritcu/.opam/4.02.1/lib/cstruct
pkg_zarith: .......................................... /home/hritcu/.opam/4.02.1/lib/zarith
pkg_ctypes: .......................................... /home/hritcu/.opam/4.02.1/lib/ctypes
pkg_sexplib_syntax: .................................. /home/hritcu/.opam/4.02.1/lib/sexplib
ocamldoc: ............................................ /home/hritcu/.opam/4.02.1/bin/ocamldoc
ocaml setup.ml -build
File "setup.ml", line 247, characters 8-26:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "setup.ml", line 2502, characters 6-24:
Warning 3: deprecated: Lazy.lazy_from_fun
Use Lazy.from_fun instead.
Finished, 1 target (0 cached) in 00:00:00.
File "_tags", line 104, characters 25-32:
Warning: the tag "pkg_lwt" is not used in any flag declaration, so it will have no effect; it may be a typo. Otherwise use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
File "_tags", line 105, characters 25-39:
Warning: the tag "pkg_lwt.syntax" is not used in any flag declaration, so it will have no effect; it may be a typo. Otherwise use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
File "_tags", line 106, characters 25-37:
Warning: the tag "pkg_lwt.unix" is not used in any flag declaration, so it will have no effect; it may be a typo. Otherwise use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
File "_tags", line 110, characters 18-25:
Warning: the tag "pkg_lwt" is not used in any flag declaration, so it will have no effect; it may be a typo. Otherwise use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
File "_tags", line 111, characters 18-32:
Warning: the tag "pkg_lwt.syntax" is not used in any flag declaration, so it will have no effect; it may be a typo. Otherwise use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
File "_tags", line 112, characters 18-30:
Warning: the tag "pkg_lwt.unix" is not used in any flag declaration, so it will have no effect; it may be a typo. Otherwise use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
+ /home/hritcu/.opam/4.02.1/bin/ocamlfind ocamlc -ccopt -I/home/hritcu/.opam/4.02.1/lib/ctypes/.. -c src/native/nocrypto_generated_stubs.c
src/native/nocrypto_generated_stubs.c: In function ‘nocrypto_5_MD5_Final’:
src/native/nocrypto_generated_stubs.c:33:14: warning: pointer targets in passing argument 1 of ‘MD5_Final’ differ in signedness [-Wpointer-sign]
MD5_Final(x19, x20);
^
In file included from src/native/nocrypto_stubs.h:2:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/md5.h:43:13: note: expected ‘unsigned char *’ but argument is of type ‘char *’
extern void MD5_Final(unsigned char *result, MD5_CTX *ctx);
^
src/native/nocrypto_generated_stubs.c: In function ‘nocrypto_7_SHA1_Update’:
src/native/nocrypto_generated_stubs.c:47:21: warning: pointer targets in passing argument 2 of ‘SHA1_Update’ differ in signedness [-Wpointer-sign]
SHA1_Update(x28, x29, x30);
^
In file included from src/native/nocrypto_stubs.h:1:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/sha2.h:189:6: note: expected ‘const u_int8_t *’ but argument is of type ‘char *’
void SHA1_Update(SHA_CTX*, const u_int8_t*, size_t);
^
src/native/nocrypto_generated_stubs.c: In function ‘nocrypto_8_SHA1_Final’:
src/native/nocrypto_generated_stubs.c:54:15: warning: pointer targets in passing argument 1 of ‘SHA1_Final’ differ in signedness [-Wpointer-sign]
SHA1_Final(x36, x37);
^
In file included from src/native/nocrypto_stubs.h:1:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/sha2.h:190:6: note: expected ‘u_int8_t *’ but argument is of type ‘char *’
void SHA1_Final(u_int8_t[SHA1_DIGEST_LENGTH], SHA_CTX*);
^
src/native/nocrypto_generated_stubs.c: In function ‘nocrypto_10_SHA224_Update’:
src/native/nocrypto_generated_stubs.c:68:23: warning: pointer targets in passing argument 2 of ‘SHA224_Update’ differ in signedness [-Wpointer-sign]
SHA224_Update(x45, x46, x47);
^
In file included from src/native/nocrypto_stubs.h:1:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/sha2.h:195:6: note: expected ‘const u_int8_t *’ but argument is of type ‘char *’
void SHA224_Update(SHA_CTX*, const u_int8_t*, size_t);
^
src/native/nocrypto_generated_stubs.c: In function ‘nocrypto_11_SHA224_Final’:
src/native/nocrypto_generated_stubs.c:75:17: warning: pointer targets in passing argument 1 of ‘SHA224_Final’ differ in signedness [-Wpointer-sign]
SHA224_Final(x53, x54);
^
In file included from src/native/nocrypto_stubs.h:1:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/sha2.h:196:6: note: expected ‘u_int8_t *’ but argument is of type ‘char *’
void SHA224_Final(u_int8_t[SHA224_DIGEST_LENGTH], SHA_CTX*);
^
src/native/nocrypto_generated_stubs.c: In function ‘nocrypto_13_SHA256_Update’:
src/native/nocrypto_generated_stubs.c:89:23: warning: pointer targets in passing argument 2 of ‘SHA256_Update’ differ in signedness [-Wpointer-sign]
SHA256_Update(x62, x63, x64);
^
In file included from src/native/nocrypto_stubs.h:1:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/sha2.h:201:6: note: expected ‘const u_int8_t *’ but argument is of type ‘char *’
void SHA256_Update(SHA_CTX*, const u_int8_t*, size_t);
^
src/native/nocrypto_generated_stubs.c: In function ‘nocrypto_14_SHA256_Final’:
src/native/nocrypto_generated_stubs.c:96:17: warning: pointer targets in passing argument 1 of ‘SHA256_Final’ differ in signedness [-Wpointer-sign]
SHA256_Final(x70, x71);
^
In file included from src/native/nocrypto_stubs.h:1:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/sha2.h:202:6: note: expected ‘u_int8_t *’ but argument is of type ‘char *’
void SHA256_Final(u_int8_t[SHA256_DIGEST_LENGTH], SHA_CTX*);
^
src/native/nocrypto_generated_stubs.c: In function ‘nocrypto_16_SHA384_Update’:
src/native/nocrypto_generated_stubs.c:110:23: warning: pointer targets in passing argument 2 of ‘SHA384_Update’ differ in signedness [-Wpointer-sign]
SHA384_Update(x79, x80, x81);
^
In file included from src/native/nocrypto_stubs.h:1:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/sha2.h:207:6: note: expected ‘const u_int8_t *’ but argument is of type ‘char *’
void SHA384_Update(SHA_CTX*, const u_int8_t*, size_t);
^
src/native/nocrypto_generated_stubs.c: In function ‘nocrypto_17_SHA384_Final’:
src/native/nocrypto_generated_stubs.c:117:17: warning: pointer targets in passing argument 1 of ‘SHA384_Final’ differ in signedness [-Wpointer-sign]
SHA384_Final(x87, x88);
^
In file included from src/native/nocrypto_stubs.h:1:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/sha2.h:208:6: note: expected ‘u_int8_t *’ but argument is of type ‘char *’
void SHA384_Final(u_int8_t[SHA384_DIGEST_LENGTH], SHA_CTX*);
^
src/native/nocrypto_generated_stubs.c: In function ‘nocrypto_19_SHA512_Update’:
src/native/nocrypto_generated_stubs.c:131:23: warning: pointer targets in passing argument 2 of ‘SHA512_Update’ differ in signedness [-Wpointer-sign]
SHA512_Update(x96, x97, x98);
^
In file included from src/native/nocrypto_stubs.h:1:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/sha2.h:213:6: note: expected ‘const u_int8_t *’ but argument is of type ‘char *’
void SHA512_Update(SHA_CTX*, const u_int8_t*, size_t);
^
src/native/nocrypto_generated_stubs.c: In function ‘nocrypto_20_SHA512_Final’:
src/native/nocrypto_generated_stubs.c:138:17: warning: pointer targets in passing argument 1 of ‘SHA512_Final’ differ in signedness [-Wpointer-sign]
SHA512_Final(x104, x105);
^
In file included from src/native/nocrypto_stubs.h:1:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/sha2.h:214:6: note: expected ‘u_int8_t *’ but argument is of type ‘char *’
void SHA512_Final(u_int8_t[SHA512_DIGEST_LENGTH], SHA_CTX*);
^
src/native/nocrypto_generated_stubs.c: In function ‘nocrypto_21_rijndaelSetupEncrypt’:
src/native/nocrypto_generated_stubs.c:146:42: warning: pointer targets in passing argument 2 of ‘rijndaelSetupEncrypt’ differ in signedness [-Wpointer-sign]
int x115 = rijndaelSetupEncrypt(x110, x111, x112);
^
In file included from src/native/nocrypto_stubs.h:3:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/rijndael.h:10:5: note: expected ‘const unsigned char *’ but argument is of type ‘char *’
int rijndaelSetupEncrypt(unsigned long *rk, const unsigned char *key,
^
src/native/nocrypto_generated_stubs.c: In function ‘nocrypto_22_rijndaelSetupDecrypt’:
src/native/nocrypto_generated_stubs.c:154:42: warning: pointer targets in passing argument 2 of ‘rijndaelSetupDecrypt’ differ in signedness [-Wpointer-sign]
int x124 = rijndaelSetupDecrypt(x119, x120, x121);
^
In file included from src/native/nocrypto_stubs.h:3:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/rijndael.h:12:5: note: expected ‘const unsigned char *’ but argument is of type ‘char *’
int rijndaelSetupDecrypt(unsigned long *rk, const unsigned char *key,
^
src/native/nocrypto_generated_stubs.c: In function ‘nocrypto_23_rijndaelEncrypt’:
src/native/nocrypto_generated_stubs.c:164:32: warning: pointer targets in passing argument 3 of ‘rijndaelEncrypt’ differ in signedness [-Wpointer-sign]
rijndaelEncrypt(x129, x130, x133, x134);
^
In file included from src/native/nocrypto_stubs.h:3:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/rijndael.h:14:6: note: expected ‘const unsigned char *’ but argument is of type ‘char *’
void rijndaelEncrypt(const unsigned long *rk, int nrounds,
^
src/native/nocrypto_generated_stubs.c:164:38: warning: pointer targets in passing argument 4 of ‘rijndaelEncrypt’ differ in signedness [-Wpointer-sign]
rijndaelEncrypt(x129, x130, x133, x134);
^
In file included from src/native/nocrypto_stubs.h:3:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/rijndael.h:14:6: note: expected ‘unsigned char *’ but argument is of type ‘char *’
void rijndaelEncrypt(const unsigned long *rk, int nrounds,
^
src/native/nocrypto_generated_stubs.c: In function ‘nocrypto_24_rijndaelDecrypt’:
src/native/nocrypto_generated_stubs.c:174:32: warning: pointer targets in passing argument 3 of ‘rijndaelDecrypt’ differ in signedness [-Wpointer-sign]
rijndaelDecrypt(x140, x141, x144, x145);
^
In file included from src/native/nocrypto_stubs.h:3:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/rijndael.h:16:6: note: expected ‘const unsigned char *’ but argument is of type ‘char *’
void rijndaelDecrypt(const unsigned long *rk, int nrounds,
^
src/native/nocrypto_generated_stubs.c:174:38: warning: pointer targets in passing argument 4 of ‘rijndaelDecrypt’ differ in signedness [-Wpointer-sign]
rijndaelDecrypt(x140, x141, x144, x145);
^
In file included from src/native/nocrypto_stubs.h:3:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/rijndael.h:16:6: note: expected ‘unsigned char *’ but argument is of type ‘char *’
void rijndaelDecrypt(const unsigned long *rk, int nrounds,
^
src/native/nocrypto_generated_stubs.c: In function ‘nocrypto_25_des3key’:
src/native/nocrypto_generated_stubs.c:181:12: warning: pointer targets in passing argument 1 of ‘des3key’ differ in signedness [-Wpointer-sign]
des3key(x149, (short)x150);
^
In file included from src/native/nocrypto_stubs.h:4:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/d3des.h:126:13: note: expected ‘unsigned char *’ but argument is of type ‘char *’
extern void des3key(unsigned char *, short);
^
src/native/nocrypto_generated_stubs.c: In function ‘nocrypto_28_Ddes’:
src/native/nocrypto_generated_stubs.c:200:9: warning: pointer targets in passing argument 1 of ‘Ddes’ differ in signedness [-Wpointer-sign]
Ddes(x162, x163);
^
In file included from src/native/nocrypto_stubs.h:4:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/d3des.h:75:13: note: expected ‘unsigned char *’ but argument is of type ‘char *’
extern void Ddes(unsigned char *, unsigned char *);
^
src/native/nocrypto_generated_stubs.c:200:15: warning: pointer targets in passing argument 2 of ‘Ddes’ differ in signedness [-Wpointer-sign]
Ddes(x162, x163);
^
In file included from src/native/nocrypto_stubs.h:4:0,
from src/native/nocrypto_generated_stubs.c:1:
src/native/d3des.h:75:13: note: expected ‘unsigned char *’ but argument is of type ‘char *’
extern void Ddes(unsigned char *, unsigned char *);
^
+ /home/hritcu/.opam/4.02.1/bin/ocamlfind ocamlc -c -g -ccopt -I/home/hritcu/.opam/4.02.1/lib/ctypes/.. -w A-4-33-40-41-42-43-34-44 -package cstruct -package ctypes -package ctypes.stubs -syntax camlp4o -package sexplib.syntax -package zarith -I src -o src/nocrypto_generated.cmo src/nocrypto_generated.ml
File "src/nocrypto_generated.ml", line 94, characters 16-18:
Warning 27: unused variable x2.
File "src/nocrypto_generated.ml", line 94, characters 44-46:
Warning 27: unused variable x4.
File "src/nocrypto_generated.ml", line 96, characters 37-39:
Warning 27: unused variable x6.
File "src/nocrypto_generated.ml", line 98, characters 36-38:
Warning 27: unused variable x8.
File "src/nocrypto_generated.ml", line 102, characters 16-19:
Warning 27: unused variable x10.
File "src/nocrypto_generated.ml", line 106, characters 16-19:
Warning 27: unused variable x13.
File "src/nocrypto_generated.ml", line 110, characters 22-25:
Warning 27: unused variable x16.
File "src/nocrypto_generated.ml", line 110, characters 51-54:
Warning 27: unused variable x18.
File "src/nocrypto_generated.ml", line 116, characters 16-19:
Warning 27: unused variable x20.
File "src/nocrypto_generated.ml", line 120, characters 22-25:
Warning 27: unused variable x23.
File "src/nocrypto_generated.ml", line 120, characters 51-54:
Warning 27: unused variable x25.
File "src/nocrypto_generated.ml", line 126, characters 16-19:
Warning 27: unused variable x27.
File "src/nocrypto_generated.ml", line 128, characters 19-22:
Warning 27: unused variable x29.
File "src/nocrypto_generated.ml", line 134, characters 16-19:
Warning 27: unused variable x32.
File "src/nocrypto_generated.ml", line 136, characters 19-22:
Warning 27: unused variable x34.
File "src/nocrypto_generated.ml", line 142, characters 16-19:
Warning 27: unused variable x37.
File "src/nocrypto_generated.ml", line 142, characters 45-48:
Warning 27: unused variable x39.
File "src/nocrypto_generated.ml", line 146, characters 16-19:
Warning 27: unused variable x41.
File "src/nocrypto_generated.ml", line 148, characters 19-22:
Warning 27: unused variable x43.
File "src/nocrypto_generated.ml", line 152, characters 41-44:
Warning 27: unused variable x46.
File "src/nocrypto_generated.ml", line 156, characters 16-19:
Warning 27: unused variable x48.
File "src/nocrypto_generated.ml", line 156, characters 45-48:
Warning 27: unused variable x50.
File "src/nocrypto_generated.ml", line 160, characters 16-19:
Warning 27: unused variable x52.
File "src/nocrypto_generated.ml", line 162, characters 19-22:
Warning 27: unused variable x54.
File "src/nocrypto_generated.ml", line 166, characters 41-44:
Warning 27: unused variable x57.
File "src/nocrypto_generated.ml", line 170, characters 16-19:
Warning 27: unused variable x59.
File "src/nocrypto_generated.ml", line 170, characters 45-48:
Warning 27: unused variable x61.
File "src/nocrypto_generated.ml", line 174, characters 16-19:
Warning 27: unused variable x63.
File "src/nocrypto_generated.ml", line 176, characters 19-22:
Warning 27: unused variable x65.
File "src/nocrypto_generated.ml", line 180, characters 41-44:
Warning 27: unused variable x68.
File "src/nocrypto_generated.ml", line 184, characters 16-19:
Warning 27: unused variable x70.
File "src/nocrypto_generated.ml", line 184, characters 45-48:
Warning 27: unused variable x72.
File "src/nocrypto_generated.ml", line 188, characters 16-19:
Warning 27: unused variable x74.
File "src/nocrypto_generated.ml", line 190, characters 19-22:
Warning 27: unused variable x76.
File "src/nocrypto_generated.ml", line 194, characters 41-44:
Warning 27: unused variable x79.
File "src/nocrypto_generated.ml", line 198, characters 16-19:
Warning 27: unused variable x81.
File "src/nocrypto_generated.ml", line 198, characters 45-48:
Warning 27: unused variable x83.
File "src/nocrypto_generated.ml", line 202, characters 16-19:
Warning 27: unused variable x85.
File "src/nocrypto_generated.ml", line 204, characters 19-22:
Warning 27: unused variable x87.
File "src/nocrypto_generated.ml", line 208, characters 39-42:
Warning 27: unused variable x90.
File "src/nocrypto_generated.ml", line 212, characters 16-19:
Warning 27: unused variable x92.
File "src/nocrypto_generated.ml", line 212, characters 45-48:
Warning 27: unused variable x94.
File "src/nocrypto_generated.ml", line 216, characters 16-19:
Warning 27: unused variable x96.
File "src/nocrypto_generated.ml", line 218, characters 19-22:
Warning 27: unused variable x98.
File "src/nocrypto_generated.ml", line 222, characters 38-42:
Warning 27: unused variable x101.
+ /home/hritcu/.opam/4.02.1/bin/ocamlfind ocamlc -c -g -ccopt -I/home/hritcu/.opam/4.02.1/lib/ctypes/.. -w A-4-33-40-41-42-43-34-44 -package cstruct -package ctypes -package ctypes.stubs -syntax camlp4o -package sexplib.syntax -package zarith -I src -o src/rsa.cmo src/rsa.ml
File "src/rsa.ml", line 150, characters 16-28:
Warning 48: implicit elimination of optional argument ?mask
Finished, 93 targets (0 cached) in 00:00:05.
make[1]: Leaving directory '/home/hritcu/Projects/fstar/pub/src/support/ocaml/3rdparty/ocaml-nocrypto'
make -C ocaml-nocrypto install
make[1]: Entering directory '/home/hritcu/Projects/fstar/pub/src/support/ocaml/3rdparty/ocaml-nocrypto'
ocaml setup.ml -install
File "setup.ml", line 247, characters 8-26:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "setup.ml", line 2502, characters 6-24:
Warning 3: deprecated: Lazy.lazy_from_fun
Use Lazy.from_fun instead.
W: Nothing to install for findlib library 'testlib'
Installed /home/hritcu/.opam/4.02.1/lib/nocrypto/uncommon.ml
Installed /home/hritcu/.opam/4.02.1/lib/nocrypto/base64.mli
Installed /home/hritcu/.opam/4.02.1/lib/nocrypto/hash.mli
Installed /home/hritcu/.opam/4.02.1/lib/nocrypto/cipher_stream.mli
Installed /home/hritcu/.opam/4.02.1/lib/nocrypto/cipher_block.mli
Installed /home/hritcu/.opam/4.02.1/lib/nocrypto/numeric.mli
Installed /home/hritcu/.opam/4.02.1/lib/nocrypto/fortuna.mli
Installed /home/hritcu/.opam/4.02.1/lib/nocrypto/rng.mli
Installed /home/hritcu/.opam/4.02.1/lib/nocrypto/rsa.mli
Installed /home/hritcu/.opam/4.02.1/lib/nocrypto/dh.mli
Installed /home/hritcu/.opam/4.02.1/lib/nocrypto/libnocrypto_stubs.a
Installed /home/hritcu/.opam/4.02.1/lib/nocrypto/nocrypto.cmi
Installed /home/hritcu/.opam/4.02.1/lib/nocrypto/nocrypto.cma
Installed /home/hritcu/.opam/4.02.1/lib/nocrypto/nocrypto.cmxa
Installed /home/hritcu/.opam/4.02.1/lib/nocrypto/nocrypto.a
Installed /home/hritcu/.opam/4.02.1/lib/nocrypto/nocrypto.cmxs
Installed /home/hritcu/.opam/4.02.1/lib/nocrypto/META
Installed /home/hritcu/.opam/4.02.1/lib/stublibs/dllnocrypto_stubs.so
Installed /home/hritcu/.opam/4.02.1/lib/stublibs/dllnocrypto_stubs.so.owner
ocamlfind: [WARNING] You have installed DLLs but the directory /home/hritcu/.opam/4.02.1/lib/stublibs is not mentioned in ld.conf
make[1]: Leaving directory '/home/hritcu/Projects/fstar/pub/src/support/ocaml/3rdparty/ocaml-nocrypto'
cd ocaml-x509 && ( ocamlfind remove x509 || true )
ocamlfind: [WARNING] No such directory: /home/hritcu/.opam/4.02.1/lib/x509
make -C ocaml-x509
make[1]: Entering directory '/home/hritcu/Projects/fstar/pub/src/support/ocaml/3rdparty/ocaml-x509'
ocaml setup.ml -configure
File "setup.ml", line 247, characters 8-26:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "setup.ml", line 2502, characters 6-24:
Warning 3: deprecated: Lazy.lazy_from_fun
Use Lazy.from_fun instead.
Configuration:
ocamlfind: ........................................... /home/hritcu/.opam/4.02.1/bin/ocamlfind
ocamlc: .............................................. /home/hritcu/.opam/4.02.1/bin/ocamlc.opt
ocamlopt: ............................................ /home/hritcu/.opam/4.02.1/bin/ocamlopt.opt
ocamlbuild: .......................................... /home/hritcu/.opam/4.02.1/bin/ocamlbuild
Package name: ........................................ ocaml-x509
Package version: ..................................... 0.2.0
os_type: ............................................. Unix
system: .............................................. linux
architecture: ........................................ amd64
ccomp_type: .......................................... cc
ocaml_version: ....................................... 4.02.1
standard_library_default: ............................ /home/hritcu/.opam/4.02.1/lib/ocaml
standard_library: .................................... /home/hritcu/.opam/4.02.1/lib/ocaml
standard_runtime: .................................... /home/hritcu/.opam/4.02.1/bin/ocamlrun
bytecomp_c_compiler: ................................. gcc -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC
native_c_compiler: ................................... gcc -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT
model: ............................................... default
ext_obj: ............................................. .o
ext_asm: ............................................. .s
ext_lib: ............................................. .a
ext_dll: ............................................. .so
default_executable_name: ............................. a.out
systhread_supported: ................................. true
Install architecture-independent files dir: .......... /usr/local
Install architecture-dependent files in dir: ......... $prefix
User executables: .................................... $exec_prefix/bin
System admin executables: ............................ $exec_prefix/sbin
Program executables: ................................. $exec_prefix/libexec
Read-only single-machine data: ....................... $prefix/etc
Modifiable architecture-independent data: ............ $prefix/com
Modifiable single-machine data: ...................... $prefix/var
Object code libraries: ............................... $exec_prefix/lib
Read-only arch-independent data root: ................ $prefix/share
Read-only architecture-independent data: ............. $datarootdir
Info documentation: .................................. $datarootdir/info
Locale-dependent data: ............................... $datarootdir/locale
Man documentation: ................................... $datarootdir/man
Documentation root: .................................. $datarootdir/doc/$pkg_name
HTML documentation: .................................. $docdir
DVI documentation: ................................... $docdir
PDF documentation: ................................... $docdir
PS documentation: .................................... $docdir
findlib_version: ..................................... 1.5.5
is_native: ........................................... true
suffix_program: ......................................
Remove a file.: ...................................... rm -f
Remove a directory.: ................................. rm -rf
Turn ocaml debug flag on: ............................ true
Turn ocaml profile flag on: .......................... false
Compiler support generation of .cmxs.: ............... true
OCamlbuild additional flags: .........................
Create documentations: ............................... true
Compile tests executable and library and run them: ... false
pkg_cstruct: ......................................... /home/hritcu/.opam/4.02.1/lib/cstruct
pkg_sexplib_syntax: .................................. /home/hritcu/.opam/4.02.1/lib/sexplib
pkg_nocrypto: ........................................ /home/hritcu/.opam/4.02.1/lib/nocrypto
pkg_asn1_combinators: ................................ /home/hritcu/.opam/4.02.1/lib/asn1-combinators
ocamldoc: ............................................ /home/hritcu/.opam/4.02.1/bin/ocamldoc
ocaml setup.ml -build
File "setup.ml", line 247, characters 8-26:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "setup.ml", line 2502, characters 6-24:
Warning 3: deprecated: Lazy.lazy_from_fun
Use Lazy.from_fun instead.
Finished, 1 target (0 cached) in 00:00:00.
+ /home/hritcu/.opam/4.02.1/bin/ocamlfind ocamlc -c -g -package asn1-combinators -package cstruct -package nocrypto -syntax camlp4o -package sexplib.syntax -I lib -o lib/certificate.cmo lib/certificate.ml
File "lib/certificate.ml", line 93, characters 2-58:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
EC_pub _
+ /home/hritcu/.opam/4.02.1/bin/ocamlfind ocamlopt -c -g -package asn1-combinators -package cstruct -package nocrypto -syntax camlp4o -package sexplib.syntax -I lib -o lib/certificate.cmx lib/certificate.ml
File "lib/certificate.ml", line 93, characters 2-58:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
EC_pub _
Finished, 22 targets (0 cached) in 00:00:02.
make[1]: Leaving directory '/home/hritcu/Projects/fstar/pub/src/support/ocaml/3rdparty/ocaml-x509'
make -C ocaml-x509 install
make[1]: Entering directory '/home/hritcu/Projects/fstar/pub/src/support/ocaml/3rdparty/ocaml-x509'
ocaml setup.ml -install
File "setup.ml", line 247, characters 8-26:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "setup.ml", line 2502, characters 6-24:
Warning 3: deprecated: Lazy.lazy_from_fun
Use Lazy.from_fun instead.
Installed /home/hritcu/.opam/4.02.1/lib/x509/asn_grammars.ml
Installed /home/hritcu/.opam/4.02.1/lib/x509/certificate.mli
Installed /home/hritcu/.opam/4.02.1/lib/x509/x509.mli
Installed /home/hritcu/.opam/4.02.1/lib/x509/x509.cma
Installed /home/hritcu/.opam/4.02.1/lib/x509/x509.cmxa
Installed /home/hritcu/.opam/4.02.1/lib/x509/x509.a
Installed /home/hritcu/.opam/4.02.1/lib/x509/x509.cmxs
Installed /home/hritcu/.opam/4.02.1/lib/x509/x509.cmi
Installed /home/hritcu/.opam/4.02.1/lib/x509/certificate.cmi
Installed /home/hritcu/.opam/4.02.1/lib/x509/asn_grammars.cmi
Installed /home/hritcu/.opam/4.02.1/lib/x509/registry.cmx
Installed /home/hritcu/.opam/4.02.1/lib/x509/x509_common.cmx
Installed /home/hritcu/.opam/4.02.1/lib/x509/x509.cmx
Installed /home/hritcu/.opam/4.02.1/lib/x509/certificate.cmx
Installed /home/hritcu/.opam/4.02.1/lib/x509/asn_grammars.cmx
Installed /home/hritcu/.opam/4.02.1/lib/x509/META
W: Nothing to install for findlib library 'tests'
make[1]: Leaving directory '/home/hritcu/Projects/fstar/pub/src/support/ocaml/3rdparty/ocaml-x509'
[hritcu@detained 3rdparty]$ cd ..
[hritcu@detained ocaml]$ cd fstar-lib
[hritcu@detained fstar-lib]$ ./autogen.sh
[hritcu@detained fstar-lib]$ ./configure
Configuration:
ocamlfind: ........................................... /home/hritcu/.opam/4.02.1/bin/ocamlfind
ocamlc: .............................................. /home/hritcu/.opam/4.02.1/bin/ocamlc.opt
ocamlopt: ............................................ /home/hritcu/.opam/4.02.1/bin/ocamlopt.opt
ocamlbuild: .......................................... /home/hritcu/.opam/4.02.1/bin/ocamlbuild
Package name: ........................................ EVP
Package version: ..................................... 0.0.1
os_type: ............................................. Unix
system: .............................................. linux
architecture: ........................................ amd64
ccomp_type: .......................................... cc
ocaml_version: ....................................... 4.02.1
standard_library_default: ............................ /home/hritcu/.opam/4.02.1/lib/ocaml
standard_library: .................................... /home/hritcu/.opam/4.02.1/lib/ocaml
standard_runtime: .................................... /home/hritcu/.opam/4.02.1/bin/ocamlrun
bytecomp_c_compiler: ................................. gcc -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC
native_c_compiler: ................................... gcc -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT
model: ............................................... default
ext_obj: ............................................. .o
ext_asm: ............................................. .s
ext_lib: ............................................. .a
ext_dll: ............................................. .so
default_executable_name: ............................. a.out
systhread_supported: ................................. true
Install architecture-independent files dir: .......... /usr/local
Install architecture-dependent files in dir: ......... $prefix
User executables: .................................... $exec_prefix/bin
System admin executables: ............................ $exec_prefix/sbin
Program executables: ................................. $exec_prefix/libexec
Read-only single-machine data: ....................... $prefix/etc
Modifiable architecture-independent data: ............ $prefix/com
Modifiable single-machine data: ...................... $prefix/var
Object code libraries: ............................... $exec_prefix/lib
Read-only arch-independent data root: ................ $prefix/share
Read-only architecture-independent data: ............. $datarootdir
Info documentation: .................................. $datarootdir/info
Locale-dependent data: ............................... $datarootdir/locale
Man documentation: ................................... $datarootdir/man
Documentation root: .................................. $datarootdir/doc/$pkg_name
HTML documentation: .................................. $docdir
DVI documentation: ................................... $docdir
PDF documentation: ................................... $docdir
PS documentation: .................................... $docdir
findlib_version: ..................................... 1.5.5
is_native: ........................................... true
suffix_program: ......................................
Remove a file.: ...................................... rm -f
Remove a directory.: ................................. rm -rf
Turn ocaml debug flag on: ............................ true
Turn ocaml profile flag on: .......................... false
Compiler support generation of .cmxs.: ............... true
OCamlbuild additional flags: .........................
Build and run tests: ................................. true
Create documentations: ............................... true
Compile tests executable and library and run them: ... false
pkg_batteries: ....................................... /home/hritcu/.opam/4.02.1/lib/batteries
pkg_fileutils: ....................................... /home/hritcu/.opam/4.02.1/lib/fileutils
pkg_sqlite3: ......................................... /home/hritcu/.opam/4.02.1/lib/sqlite3
[hritcu@detained fstar-lib]$ make
ocaml setup.ml -build
W: Cannot find source file matching module 'fstar' in library fstar
Finished, 1 target (0 cached) in 00:00:00.
+ /home/hritcu/.opam/4.02.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package batteries -I src -o src/support.cmo src/support.ml
File "src/support.ml", line 200, characters 16-28:
Warning 3: deprecated: Array.create
Use Array.make instead.
+ /home/hritcu/.opam/4.02.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package batteries -for-pack Fstar -I src -o src/support.cmx src/support.ml
File "src/support.ml", line 200, characters 16-28:
Warning 3: deprecated: Array.create
Use Array.make instead.
+ /home/hritcu/.opam/4.02.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I src -I src/db -I src/evp -package batteries -package fileutils -package sqlite3 -I test -I src -I src/db -I src/evp -o test/test.cmo test/test.ml
File "test/test.ml", line 86, characters 4-59:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "test/test.ml", line 98, characters 4-59:
Warning 3: deprecated: String.set
Use Bytes.set instead.
+ /home/hritcu/.opam/4.02.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I src -I src/db -I src/evp -package batteries -package fileutils -package sqlite3 -I test -I src -I src/db -I src/evp -o test/test.cmx test/test.ml
File "test/test.ml", line 86, characters 4-59:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "test/test.ml", line 98, characters 4-59:
Warning 3: deprecated: String.set
Use Bytes.set instead.
Finished, 46 targets (0 cached) in 00:00:01.
[hritcu@detained fstar-lib]$ less Makefile
[hritcu@detained fstar-lib]$ less setup.ml
[hritcu@detained fstar-lib]$ make install
ocaml setup.ml -install
Installed /home/hritcu/.opam/4.02.1/lib/fstar/utf8.mli
Installed /home/hritcu/.opam/4.02.1/lib/fstar/types.ml
Installed /home/hritcu/.opam/4.02.1/lib/fstar/support.mli
Installed /home/hritcu/.opam/4.02.1/lib/fstar/fstar.cmt
Installed /home/hritcu/.opam/4.02.1/lib/fstar/fstar.cmi
Installed /home/hritcu/.opam/4.02.1/lib/fstar/fstar.cma
Installed /home/hritcu/.opam/4.02.1/lib/fstar/fstar.cmxa
Installed /home/hritcu/.opam/4.02.1/lib/fstar/fstar.a
Installed /home/hritcu/.opam/4.02.1/lib/fstar/fstar.cmxs
Installed /home/hritcu/.opam/4.02.1/lib/fstar/support.cmti
Installed /home/hritcu/.opam/4.02.1/lib/fstar/support.cmt
Installed /home/hritcu/.opam/4.02.1/lib/fstar/support.annot
Installed /home/hritcu/.opam/4.02.1/lib/fstar/types.cmt
Installed /home/hritcu/.opam/4.02.1/lib/fstar/types.annot
Installed /home/hritcu/.opam/4.02.1/lib/fstar/utf8.cmti
Installed /home/hritcu/.opam/4.02.1/lib/fstar/utf8.cmt
Installed /home/hritcu/.opam/4.02.1/lib/fstar/utf8.annot
Installed /home/hritcu/.opam/4.02.1/lib/fstar/fstar.cmx
Installed /home/hritcu/.opam/4.02.1/lib/fstar/evp.mli
Installed /home/hritcu/.opam/4.02.1/lib/fstar/libevp_stubs.a
Installed /home/hritcu/.opam/4.02.1/lib/fstar/evp.cma
Installed /home/hritcu/.opam/4.02.1/lib/fstar/evp.cmxa
Installed /home/hritcu/.opam/4.02.1/lib/fstar/evp.a
Installed /home/hritcu/.opam/4.02.1/lib/fstar/evp.cmxs
Installed /home/hritcu/.opam/4.02.1/lib/fstar/evp.cmi
Installed /home/hritcu/.opam/4.02.1/lib/fstar/evp.cmti
Installed /home/hritcu/.opam/4.02.1/lib/fstar/evp.cmt
Installed /home/hritcu/.opam/4.02.1/lib/fstar/evp.annot
Installed /home/hritcu/.opam/4.02.1/lib/fstar/evp.cmx
Installed /home/hritcu/.opam/4.02.1/lib/fstar/DB.mli
Installed /home/hritcu/.opam/4.02.1/lib/fstar/DBMap.mli
Installed /home/hritcu/.opam/4.02.1/lib/fstar/db.cma
Installed /home/hritcu/.opam/4.02.1/lib/fstar/db.cmxa
Installed /home/hritcu/.opam/4.02.1/lib/fstar/db.a
Installed /home/hritcu/.opam/4.02.1/lib/fstar/db.cmxs
Installed /home/hritcu/.opam/4.02.1/lib/fstar/DBMap.cmi
Installed /home/hritcu/.opam/4.02.1/lib/fstar/DBMap.cmti
Installed /home/hritcu/.opam/4.02.1/lib/fstar/DBMap.cmt
Installed /home/hritcu/.opam/4.02.1/lib/fstar/DBMap.annot
Installed /home/hritcu/.opam/4.02.1/lib/fstar/DB.cmi
Installed /home/hritcu/.opam/4.02.1/lib/fstar/DB.cmti
Installed /home/hritcu/.opam/4.02.1/lib/fstar/DB.cmt
Installed /home/hritcu/.opam/4.02.1/lib/fstar/DB.annot
Installed /home/hritcu/.opam/4.02.1/lib/fstar/DBMap.cmx
Installed /home/hritcu/.opam/4.02.1/lib/fstar/DB.cmx
Installed /home/hritcu/.opam/4.02.1/lib/fstar/META
Installed /home/hritcu/.opam/4.02.1/lib/stublibs/dllevp_stubs.so
Installed /home/hritcu/.opam/4.02.1/lib/stublibs/dllevp_stubs.so.owner
ocamlfind: [WARNING] You have installed DLLs but the directory /home/hritcu/.opam/4.02.1/lib/stublibs is not mentioned in ld.conf
[hritcu@detained fstar-lib]$ cd ..
[hritcu@detained ocaml]$ cd ..
[hritcu@detained support]$ cd ..
[hritcu@detained src]$ make ocaml
mono ../bin/fstar.exe --fstar_home .. --codegen OCaml --debug_level Low --admit_fsi Microsoft.FStar.Util --admit_fsi Microsoft.FStar.Platform ../lib/system.fst ../lib/st.fst ../lib/list.fst ../lib/option.fst ../lib/string.fst basic/bytes.fst basic/platform.fsi basic/util.fsi basic/getoptsimple.fst basic/options.fs basic/range.fst basic/unionfind.fst basic/lazyset.fsi basic/lazyset.fs absyn/syntax.fsi absyn/syntax.fs absyn/const.fs absyn/visit.fs absyn/util.fs absyn/print.fs absyn/dssyntax.fs parser/ast.fs parser/dsenv.fsi parser/dsenv.fs parser/desugar.fsi parser/desugar.fs parser/parse.fst parser/lexhelp.fs parser/parseit.fst parser/driver.fs tc/tcenv.fsi tc/tcenv.fs tc/normalize.fsi tc/normalize.fs tc/errors.fs tc/rel.fsi tc/rel.fs tc/tcutil.fsi tc/tcutil.fs tc/tc.fs tosmt/term.fsi tosmt/term.fs tosmt/z3.fs tosmt/encode.fs backend/ocaml-backend-stub.fst jsbackend/ast.fs jsbackend/translate.fs
OCaml: System
OCaml: IO
OCaml: Text
OCaml: Diagnostics
OCaml: Generic
OCaml: Collections
OCaml: ST
OCaml: List
OCaml: Option
OCaml: String
OCaml: Bytes
OCaml: Platform
OCaml: Util
OCaml: Getopt
OCaml: Options
OCaml: Range
OCaml: Unionfind
OCaml: LazySet
OCaml: Syntax
OCaml: Const
OCaml: Visit
OCaml: Util
OCaml: Print
OCaml: SSyntax
OCaml: AST
OCaml: DesugarEnv
OCaml: Desugar
OCaml: Parse
OCaml: Lexhelp
OCaml: ParseIt
OCaml: Driver
OCaml: Env
OCaml: Normalize
OCaml: Errors
OCaml: Rel
OCaml: Util
OCaml: Tc
OCaml: Term
OCaml: Z3
OCaml: Encode
OCaml: Format
OCaml: OCaml
OCaml: Syntax
OCaml: ASTTrans
OCaml: Code
OCaml: Ast
OCaml: Translate
Lax type-checked module: Prims
Lax type-checked module: System
Lax type-checked module: System.IO
Lax type-checked module: System.Text
Lax type-checked module: System.Diagnostics
Lax type-checked module: System.Collections.Generic
Lax type-checked module: Collections
Lax type-checked module: ST
Lax type-checked module: List
Lax type-checked module: Option
Lax type-checked module: String
Lax type-checked module: Microsoft.FStar.Bytes
Lax type-checked module: Microsoft.FStar.Platform
Lax type-checked module: Microsoft.FStar.Util
Lax type-checked module: Microsoft.FStar.Getopt
Lax type-checked module: Microsoft.FStar.Options
Lax type-checked module: Microsoft.FStar.Range
Lax type-checked module: Microsoft.FStar.Unionfind
Lax type-checked module: Microsoft.FStar.LazySet
Lax type-checked module: Microsoft.FStar.Absyn.Syntax
Lax type-checked module: Microsoft.FStar.Absyn.Const
Lax type-checked module: Microsoft.FStar.Absyn.Visit
Lax type-checked module: Microsoft.FStar.Absyn.Util
Lax type-checked module: Microsoft.FStar.Absyn.Print
Lax type-checked module: Microsoft.FStar.Absyn.SSyntax
Lax type-checked module: Microsoft.FStar.Parser.AST
Lax type-checked module: Microsoft.FStar.Parser.DesugarEnv
Lax type-checked module: Microsoft.FStar.Parser.Desugar
Lax type-checked module: Microsoft.FStar.Parser.Parse
Lax type-checked module: Microsoft.FStar.Parser.Lexhelp
Lax type-checked module: Microsoft.FStar.Parser.ParseIt
Lax type-checked module: Microsoft.FStar.Parser.Driver
Lax type-checked module: Microsoft.FStar.Tc.Env
Lax type-checked module: Microsoft.FStar.Tc.Normalize
Lax type-checked module: Microsoft.FStar.Tc.Errors
Lax type-checked module: Microsoft.FStar.Tc.Rel
Lax type-checked module: Microsoft.FStar.Tc.Util
Lax type-checked module: Microsoft.FStar.Tc.Tc
Lax type-checked module: Microsoft.FStar.ToSMT.Term
Lax type-checked module: Microsoft.FStar.ToSMT.Z3
Lax type-checked module: Microsoft.FStar.ToSMT.Encode
Lax type-checked module: FSharp.Format
Lax type-checked module: Microsoft.FStar.Backends.OCaml
Lax type-checked module: Microsoft.FStar.Backends.OCaml.Syntax
Lax type-checked module: Microsoft.FStar.Backends.OCaml.ASTTrans
Lax type-checked module: Microsoft.FStar.Backends.OCaml.Code
Lax type-checked module: Microsoft.FStar.Backends.JS.Ast
Lax type-checked module: Microsoft.FStar.Backends.JS.Translate
Compile the obtained module with: ocamlfind ocamlc -package fstar ocaml.ml
[hritcu@detained src]$ ocamlfind ocamlc -package fstar ocaml.ml
File "ocaml.ml", line 4292, characters 44-45:
Error: This expression has type
Syntax.typ = (Syntax.typ', Syntax.knd) Syntax.syntax
but an expression was expected of type
Syntax.knd = (Syntax.knd', unit) Syntax.syntax
Type Syntax.typ' is not compatible with type Syntax.knd'
[hritcu@detained src]$
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment