Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 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$
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement