Advertisement
Guest User

Untitled

a guest
Aug 11th, 2014
321
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 8.02 KB | None | 0 0
  1. alex@ubuntudev:~$ sudo apt-get install mono-complete fsharp
  2. Reading package lists... Done
  3. Building dependency tree
  4. Reading state information... Done
  5. fsharp is already the newest version.
  6. mono-complete is already the newest version.
  7. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
  8. alex@ubuntudev:~$ mozroots --import --sync
  9. Mozilla Roots Importer - version 3.2.8.0
  10. Download and import trusted root certificates from Mozilla's MXR.
  11. Copyright 2002, 2003 Motus Technologies. Copyright 2004-2008 Novell. BSD licensed.
  12.  
  13. Downloading from 'http://mxr.mozilla.org/seamonkey/source/security/nss/lib/ckfw/builtins/certdata.txt?raw=1'...
  14. Importing certificates into user store...
  15. Import process completed.
  16.  
  17. alex@ubuntudev:~$ cd FStar/
  18. alex@ubuntudev:~/FStar$ source setenv.sh
  19. alex@ubuntudev:~/FStar$ make -C src
  20. make: Entering directory `/home/alex/FStar/src'
  21. 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
  22. 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
  23. 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
  24.  
  25. /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).
  26.  
  27. /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).
  28.  
  29. /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).
  30.  
  31. /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).
  32.  
  33. /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).
  34.  
  35. /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).
  36. 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
  37. make -C ../VS install-packages
  38. make[1]: Entering directory `/home/alex/FStar/VS'
  39. [ -d packages ] || make update-nuget
  40. make[2]: Entering directory `/home/alex/FStar/VS'
  41. [ -d packages ] || mkdir packages
  42. mono .nuget/NuGet.exe update -self
  43. Checking for updates from https://www.nuget.org/api/v2/.
  44. Currently running NuGet.exe 2.8.2.
  45. NuGet.exe is up to date.
  46. make[2]: Leaving directory `/home/alex/FStar/VS'
  47. mono .nuget/NuGet.exe restore FStar.sln
  48. WARNING: Project file /home/alex/FStar/VS/../src/absyn/TestAbsyn/TestAbsyn.fsproj cannot be found.
  49. Installing 'FsLexYacc 6.0.3'.
  50. Successfully installed 'FsLexYacc 6.0.3'.
  51. Installing 'FsLexYacc.Runtime 6.0.2'.
  52. Successfully installed 'FsLexYacc.Runtime 6.0.2'.
  53. find packages -name '*.exe' -exec chmod +x '{}' ';'
  54. make[1]: Leaving directory `/home/alex/FStar/VS'
  55. mono ../VS/packages/FsLexYacc.6.0.3/bin/fsyacc.exe --module Microsoft.FStar.Parser.Parse parser/parse.fsy
  56. building tables
  57. computing first function...time: 00:00:00.1648460
  58. building kernels...time: 00:00:00.1493088
  59. building kernel table...time: 00:00:00.0154974
  60. computing lookahead relations........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................time: 00:00:00.6054663
  61. building lookahead table...time: 00:00:00.1479174
  62. building action table...state 224: shift/reduce error on DOT
  63. state 252: shift/reduce error on SEMICOLON
  64. state 266: shift/reduce error on BAR
  65. state 271: shift/reduce error on BAR
  66. state 290: shift/reduce error on BAR
  67. state 390: shift/reduce error on STAR
  68. state 413: reduce/reduce error on STAR
  69. time: 00:00:00.8059085
  70. building goto table...time: 00:00:00.4088358
  71. returning tables.
  72. 6 shift/reduce conflicts
  73. 1 reduce/reduce conflicts
  74. 501 states
  75. 136 nonterminals
  76. 211 terminals
  77. 297 productions
  78. #rows in action table: 501
  79. make -C ../VS install-packages
  80. make[1]: Entering directory `/home/alex/FStar/VS'
  81. [ -d packages ] || make update-nuget
  82. mono .nuget/NuGet.exe restore FStar.sln
  83. WARNING: Project file /home/alex/FStar/VS/../src/absyn/TestAbsyn/TestAbsyn.fsproj cannot be found.
  84. All packages listed in packages.config are already installed.
  85. find packages -name '*.exe' -exec chmod +x '{}' ';'
  86. make[1]: Leaving directory `/home/alex/FStar/VS'
  87. mono ../VS/packages/FsLexYacc.6.0.3/bin/fslex.exe --unicode parser/lex.fsl
  88. compiling to dfas (can take a while...)
  89. 433 states
  90. writing output
  91. 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
  92.  
  93. /home/alex/FStar/src/parser/desugar.fs(1284,5): warning FS0026: This rule will never be matched
  94. 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
  95. 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
  96.  
  97. /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).
  98.  
  99. /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).
  100.  
  101. /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).
  102.  
  103. /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).
  104. make: *** No rule to make target `../bin/jsbackend.dll', needed by `../bin/fstar.exe'. Stop.
  105. make: Leaving directory `/home/alex/FStar/src'
  106. alex@ubuntudev:~/FStar$
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement