alex@ubuntudev:~$ sudo apt-get install mono-complete fsharp
Reading package lists... Done
Building dependency tree
Reading state information... Done
fsharp is already the newest version.
mono-complete is already the newest version.
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
alex@ubuntudev:~$ mozroots --import --sync
Mozilla Roots Importer - version 3.2.8.0
Download and import trusted root certificates from Mozilla's MXR.
Copyright 2002, 2003 Motus Technologies. Copyright 2004-2008 Novell. BSD licensed.

Downloading from 'http://mxr.mozilla.org/seamonkey/source/security/nss/lib/ckfw/builtins/certdata.txt?raw=1'...
Importing certificates into user store...
Import process completed.

alex@ubuntudev:~$ cd FStar/
alex@ubuntudev:~/FStar$ source setenv.sh
alex@ubuntudev:~/FStar$ make -C src
make: Entering directory `/home/alex/FStar/src'
fsharpc  --optimize+ --debug:full --nologo -g -O --mlcompatibility  -a -o ../bin/basic.dll -r ../bin/FSharp.PowerPack.dll -r ../bin/FSharp.PowerPack.Compatibility.dll  basic/profiling.fs basic/util.fsi basic/util.fs basic/bytes.fsi basic/bytes.fs basic/range.fsi basic/range.fs basic/getoptsimple.fsi basic/getoptsimple.fs basic/options.fs basic/unionfind.fsi basic/unionfind.fs
fsharpc --optimize+ --debug:full --nologo -g -O --mlcompatibility  -a -o ../bin/format.dll -r ../bin/FSharp.PowerPack.dll -r ../bin/FSharp.PowerPack.Compatibility.dll  format/format.fsi format/format.fs
fsharpc  --optimize+ --debug:full --nologo -g -O --mlcompatibility  -a -o ../bin/absyn.dll -r ../bin/FSharp.PowerPack.dll -r ../bin/FSharp.PowerPack.Compatibility.dll -r ../bin/basic.dll absyn/syntax.fs absyn/const.fs absyn/visit.fs absyn/util.fs absyn/print.fs

/home/alex/FStar/src/absyn/visit.fs(558,13): warning FS0025: Incomplete pattern matches on this expression. For example, the value 'Kind_delayed (_, _, _)' may indicate a case not covered by the pattern(s).

/home/alex/FStar/src/absyn/visit.fs(717,34): warning FS0025: Incomplete pattern matches on this expression. For example, the value 'Exp_delayed (_, _, _)' may indicate a case not covered by the pattern(s).

/home/alex/FStar/src/absyn/print.fs(119,18): warning FS0025: Incomplete pattern matches on this expression. For example, the value '[_;_]' may indicate a case not covered by the pattern(s).

/home/alex/FStar/src/absyn/print.fs(120,19): warning FS0025: Incomplete pattern matches on this expression. For example, the value '[_;_;_]' may indicate a case not covered by the pattern(s).

/home/alex/FStar/src/absyn/print.fs(121,19): warning FS0025: Incomplete pattern matches on this expression. For example, the value '[_;_;_]' may indicate a case not covered by the pattern(s).

/home/alex/FStar/src/absyn/print.fs(122,13): warning FS0025: Incomplete pattern matches on this expression. For example, the value '[_;_;_;_]' may indicate a case not covered by the pattern(s).
fsharpc --optimize+ --debug:full --nologo -g -O --mlcompatibility  -a -o ../bin/backend.dll -r ../bin/FSharp.PowerPack.dll -r ../bin/FSharp.PowerPack.Compatibility.dll -r ../bin/basic.dll -r ../bin/absyn.dll -r ../bin/format.dll backend/nameenv.fsi backend/nameenv.fs backend/ocaml-syntax.fs backend/ocaml-asttrans.fsi backend/ocaml-asttrans.fs backend/ocaml-codegen.fsi backend/ocaml-codegen.fs
make -C ../VS install-packages
make[1]: Entering directory `/home/alex/FStar/VS'
[ -d packages ] || make update-nuget
make[2]: Entering directory `/home/alex/FStar/VS'
[ -d packages ] || mkdir packages
mono .nuget/NuGet.exe update -self
Checking for updates from https://www.nuget.org/api/v2/.
Currently running NuGet.exe 2.8.2.
NuGet.exe is up to date.
make[2]: Leaving directory `/home/alex/FStar/VS'
mono .nuget/NuGet.exe restore FStar.sln
WARNING: Project file /home/alex/FStar/VS/../src/absyn/TestAbsyn/TestAbsyn.fsproj cannot be found.
Installing 'FsLexYacc 6.0.3'.
Successfully installed 'FsLexYacc 6.0.3'.
Installing 'FsLexYacc.Runtime 6.0.2'.
Successfully installed 'FsLexYacc.Runtime 6.0.2'.
find packages -name '*.exe' -exec chmod +x '{}' ';'
make[1]: Leaving directory `/home/alex/FStar/VS'
mono ../VS/packages/FsLexYacc.6.0.3/bin/fsyacc.exe --module Microsoft.FStar.Parser.Parse parser/parse.fsy
building tables
computing first function...time: 00:00:00.1648460
building kernels...time: 00:00:00.1493088
building kernel table...time: 00:00:00.0154974
computing lookahead relations........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................time: 00:00:00.6054663
building lookahead table...time: 00:00:00.1479174
building action table...state 224: shift/reduce error on DOT
state 252: shift/reduce error on SEMICOLON
state 266: shift/reduce error on BAR
state 271: shift/reduce error on BAR
state 290: shift/reduce error on BAR
state 390: shift/reduce error on STAR
state 413: reduce/reduce error on STAR
time: 00:00:00.8059085
building goto table...time: 00:00:00.4088358
returning tables.
6 shift/reduce conflicts
1 reduce/reduce conflicts
501 states
136 nonterminals
211 terminals
297 productions
#rows in action table: 501
make -C ../VS install-packages
make[1]: Entering directory `/home/alex/FStar/VS'
[ -d packages ] || make update-nuget
mono .nuget/NuGet.exe restore FStar.sln
WARNING: Project file /home/alex/FStar/VS/../src/absyn/TestAbsyn/TestAbsyn.fsproj cannot be found.
All packages listed in packages.config are already installed.
find packages -name '*.exe' -exec chmod +x '{}' ';'
make[1]: Leaving directory `/home/alex/FStar/VS'
mono ../VS/packages/FsLexYacc.6.0.3/bin/fslex.exe --unicode parser/lex.fsl
compiling to dfas (can take a while...)
433 states
writing output
fsharpc  --optimize+ --debug:full --nologo -g -O --mlcompatibility  -a -o ../bin/parser.dll -r ../bin/FSharp.PowerPack.dll -r ../bin/FSharp.PowerPack.Compatibility.dll -r ../bin/basic.dll -r ../bin/absyn.dll parser/ast.fs parser/parse.fs parser/lexhelp.fs parser/lex.fs parser/dsenv.fsi parser/dsenv.fs parser/desugar.fsi parser/desugar.fs parser/parseit.fsi parser/parseit.fs parser/driver.fs

/home/alex/FStar/src/parser/desugar.fs(1284,5): warning FS0026: This rule will never be matched
fsharpc  --optimize+ --debug:full --nologo -g -O --mlcompatibility  -a -o ../bin/tc.dll -r ../bin/FSharp.PowerPack.dll -r ../bin/FSharp.PowerPack.Compatibility.dll -r ../bin/basic.dll -r ../bin/absyn.dll tc/errors.fs tc/tcenv.fsi tc/tcenv.fs tc/normalize.fsi tc/normalize.fs tc/rel.fsi tc/rel.fs tc/tcutil.fsi tc/tcutil.fs tc/tc.fs
fsharpc  --optimize+ --debug:full --nologo -g -O --mlcompatibility  -a -o ../bin/tosmt.dll -r ../bin/FSharp.PowerPack.dll -r ../bin/FSharp.PowerPack.Compatibility.dll -r ../bin/basic.dll -r ../bin/absyn.dll -r ../bin/tc.dll tosmt/term.fs tosmt/z3.fs tosmt/encode.fs

/home/alex/FStar/src/tosmt/encode.fs(171,45): warning FS0025: Incomplete pattern matches on this expression. For example, the value 'Array (_, _)' may indicate a case not covered by the pattern(s).

/home/alex/FStar/src/tosmt/encode.fs(277,95): warning FS0025: Incomplete pattern matches on this expression. For example, the value 'Array (_, _)' may indicate a case not covered by the pattern(s).

/home/alex/FStar/src/tosmt/encode.fs(725,26): warning FS0025: Incomplete pattern matches on this expression. For example, the value 'Some (Projector (_, Inr (_)))' may indicate a case not covered by the pattern(s).

/home/alex/FStar/src/tosmt/encode.fs(792,93): warning FS0025: Incomplete pattern matches on this expression. For example, the value 'Array (_, _)' may indicate a case not covered by the pattern(s).
make: *** No rule to make target `../bin/jsbackend.dll', needed by `../bin/fstar.exe'.  Stop.
make: Leaving directory `/home/alex/FStar/src'
alex@ubuntudev:~/FStar$