PS C:\Idris2> make idris2
echo 'module YafflePaths; export yversion : ((Nat,Nat,Nat), String); yversion = ((0,0,0), "")' > src/YafflePaths.idr
echo 'export yprefix : String; yprefix = "/.idris2"' >> src/YafflePaths.idr
Using Idris 1 version: 1.3.2
Building Idris 2 version: 0.0.0
idris --build idris2.ipkg
Entering directory `.\src'
Type checking .\YafflePaths.idr
Type checking .\Core\Name.idr
Type checking .\Data\NameMap.idr
Type checking .\Core\FC.idr
Type checking .\Core\TT.idr
Type checking .\Text\Token.idr
Type checking .\Text\Quantity.idr
Type checking .\Control\Delayed.idr
Type checking .\Text\Parser\Core.idr
Type checking .\Data\Bool\Extra.idr
Type checking .\Text\Parser.idr
Type checking .\Text\Lexer\Core.idr
Type checking .\Text\Lexer.idr
Type checking .\Parser\Lexer.idr
Type checking .\Parser\Support.idr
Type checking .\Data\IntMap.idr
Type checking .\Core\Env.idr
Type checking .\Core\Core.idr
Type checking .\Data\StringMap.idr
Type checking .\Data\IOArray.idr
Type checking .\Utils\Binary.idr
Type checking .\Core\Options.idr
Type checking .\Core\CaseTree.idr
Type checking .\Core\Hash.idr
Type checking .\Core\CompileExpr.idr
Type checking .\Core\Context.idr
Type checking .\Core\Value.idr
Type checking .\Core\Primitives.idr
Type checking .\Core\Normalise.idr
Type checking .\Core\TTC.idr
Type checking .\Core\UnifyState.idr
Type checking .\Core\Binary.idr
Type checking .\TTImp\TTImp.idr
Type checking .\TTImp\Unelab.idr
Type checking .\Core\Reflect.idr
Type checking .\TTImp\Reflect.idr
Type checking .\Core\GetType.idr
Type checking .\Core\Unify.idr
Type checking .\Core\Metadata.idr
Type checking .\TTImp\Elab\Check.idr
Type checking .\TTImp\Elab\Delayed.idr
Type checking .\TTImp\Elab\Rewrite.idr
Type checking .\TTImp\Elab\Record.idr
Type checking .\TTImp\Elab\Quote.idr
Type checking .\TTImp\Elab\Prim.idr
Type checking .\TTImp\Elab\Local.idr
Type checking .\TTImp\Elab\Lazy.idr
Type checking .\TTImp\Elab\ImplicitBind.idr
Type checking .\TTImp\Elab\Hole.idr
Type checking .\TTImp\Elab\Dot.idr
Type checking .\TTImp\Elab\Case.idr
Type checking .\TTImp\Elab\Binders.idr
Type checking .\TTImp\Elab\As.idr
Type checking .\TTImp\Elab\App.idr
Type checking .\TTImp\Elab\Ambiguity.idr
Type checking .\TTImp\Elab\Term.idr
Type checking .\Core\Transform.idr
Type checking .\Core\LinearCheck.idr
Type checking .\TTImp\Elab.idr
Type checking .\TTImp\Elab\Utils.idr
Type checking .\TTImp\Utils.idr
Type checking .\TTImp\BindImplicits.idr
Type checking .\TTImp\ProcessType.idr
Type checking .\TTImp\ProcessRecord.idr
Type checking .\TTImp\ProcessParams.idr
Type checking .\TTImp\WithClause.idr
Type checking .\Core\Termination.idr
Type checking .\Core\Coverage.idr
Type checking .\Data\LengthMatch.idr
Type checking .\Core\CaseBuilder.idr
Type checking .\TTImp\ProcessDef.idr
Type checking .\TTImp\ProcessData.idr
Type checking .\TTImp\Parser.idr
Type checking .\TTImp\ProcessDecls.idr
Type checking .\TTImp\Interactive\CaseSplit.idr
Type checking .\Core\AutoSearch.idr
Type checking .\TTImp\Interactive\ExprSearch.idr
Type checking .\TTImp\Interactive\GenerateDef.idr
Type checking .\Yaffle\REPL.idr
Type checking .\Core\InitPrimitives.idr
Type checking .\Core\Directory.idr
Type checking .\Yaffle\Main.idr
Type checking .\Idris\Version.idr
Type checking .\Idris\Socket\Data.idr
Type checking .\Idris\Socket\Raw.idr
Type checking .\Idris\Socket.idr
Type checking .\Data\ANameMap.idr
Type checking .\Idris\Syntax.idr
Type checking .\TTImp\Interactive\MakeLemma.idr
Type checking .\Idris\REPLOpts.idr
Type checking .\Idris\IDEMode\Commands.idr
Type checking .\Idris\Resugar.idr
Type checking .\Idris\Error.idr
Type checking .\Idris\REPLCommon.idr
Type checking .\Idris\Parser.idr
Type checking .\Utils\Shunting.idr
Type checking .\Idris\Elab\Interface.idr
Type checking .\Idris\Elab\Implementation.idr
Type checking .\Idris\Desugar.idr
Type checking .\Idris\ProcessIdr.idr
Type checking .\Idris\ModTree.idr
Type checking .\Idris\IDEMode\MakeClause.idr
Type checking .\Idris\IDEMode\TokenLine.idr
Type checking .\Idris\IDEMode\CaseSplit.idr
Type checking .\Compiler\Inline.idr
Type checking .\Compiler\CompileExpr.idr
Type checking .\Compiler\Common.idr
Type checking .\Utils\Hex.idr
Type checking .\Compiler\Scheme\Common.idr
Type checking .\Compiler\Scheme\Racket.idr
Type checking .\Compiler\Scheme\Chicken.idr
Type checking .\Compiler\Scheme\Chez.idr
Type checking .\Idris\REPL.idr
Type checking .\Idris\CommandLine.idr
Type checking .\Idris\SetOptions.idr
Type checking .\Data\These.idr
Type checking .\Data\StringTrie.idr
Type checking .\Idris\Package.idr
Type checking .\Idris\IDEMode\Parser.idr
Type checking .\Idris\IDEMode\REPL.idr
Type checking .\Idris\Main.idr
Leaving directory `.\src'
PS C:\Idris2> make install
Using Idris 1 version: 1.3.2
Building Idris 2 version: 0.0.0
idris --build idris2.ipkg
Entering directory `.\src'
Leaving directory `.\src'
make -C libs/prelude IDRIS2=../../idris2
make[1]: Entering directory `/c/Idris2/libs/prelude'
../../idris2 --build prelude.ipkg
1/3: Building Builtin (Builtin.idr)
2/3: Building PrimIO (PrimIO.idr)
3/3: Building Prelude (Prelude.idr)
make[1]: Leaving directory `/c/Idris2/libs/prelude'
make -C libs/base IDRIS2=../../idris2
make[1]: Entering directory `/c/Idris2/libs/base'
../../idris2 --build base.ipkg
1/29: Building Control.Monad.Identity (Control/Monad/Identity.idr)
2/29: Building Control.Monad.Trans (Control/Monad/Trans.idr)
3/29: Building Control.Monad.State (Control/Monad/State.idr)
4/29: Building Data.Nat (Data/Nat.idr)
5/29: Building Data.Maybe (Data/Maybe.idr)
6/29: Building Decidable.Equality (Decidable/Equality.idr)
7/29: Building Data.List (Data/List.idr)
8/29: Building Control.WellFounded (Control/WellFounded.idr)
9/29: Building Data.Strings (Data/Strings.idr)
10/29: Building System.File (System/File.idr)
11/29: Building Data.Buffer (Data/Buffer.idr)
12/29: Building Data.Either (Data/Either.idr)
13/29: Building Data.Fin (Data/Fin.idr)
14/29: Building Data.IORef (Data/IORef.idr)
15/29: Building Data.List.Elem (Data/List/Elem.idr)
16/29: Building Data.Nat.Views (Data/Nat/Views.idr)
17/29: Building Data.List.Views (Data/List/Views.idr)
18/29: Building Data.Morphisms (Data/Morphisms.idr)
19/29: Building Data.Primitives.Views (Data/Primitives/Views.idr)
20/29: Building Data.So (Data/So.idr)
21/29: Building Data.Stream (Data/Stream.idr)
22/29: Building Data.Vect (Data/Vect.idr)
23/29: Building Debug.Trace (Debug/Trace.idr)
24/29: Building Language.Reflection.TT (Language/Reflection/TT.idr)
25/29: Building Language.Reflection.TTImp (Language/Reflection/TTImp.idr)
26/29: Building Language.Reflection (Language/Reflection.idr)
27/29: Building System (System.idr)
28/29: Building System.Concurrency.Raw (System/Concurrency/Raw.idr)
29/29: Building System.REPL (System/REPL.idr)
make[1]: Leaving directory `/c/Idris2/libs/base'
make -C libs/network IDRIS2=../../idris2
make[1]: Entering directory `/c/Idris2/libs/network'
cc    -c -o idris_net.o idris_net.c
idris_net.c: In function 'idrnet_sockaddr_ipv4':
idris_net.c:165:5: warning: implicit declaration of function 'inet_ntop'; did you mean 'inet_ntoa'? [-Wimplicit-function-declaration]
     inet_ntop(AF_INET, &(addr->sin_addr), ip_addr, INET_ADDRSTRLEN);
     ^~~~~~~~~
     inet_ntoa
cc -o idris_net.so  -shared idris_net.o
idris_net.o:idris_net.c:(.text+0xb): undefined reference to `__imp_WSACleanup'
idris_net.o:idris_net.c:(.text+0x39): undefined reference to `__imp_WSAStartup'
idris_net.o:idris_net.c:(.text+0xa5): undefined reference to `__imp_htonl'
idris_net.o:idris_net.c:(.text+0x123): undefined reference to `__imp_ntohl'
idris_net.o:idris_net.c:(.text+0x1d3): undefined reference to `__imp_socket'
idris_net.o:idris_net.c:(.text+0x25f): undefined reference to `__imp_getaddrinfo'
idris_net.o:idris_net.c:(.text+0x280): undefined reference to `__imp_getaddrinfo'
idris_net.o:idris_net.c:(.text+0x2f1): undefined reference to `__imp_bind'
idris_net.o:idris_net.c:(.text+0x33b): undefined reference to `__imp_getsockname'
idris_net.o:idris_net.c:(.text+0x384): undefined reference to `__imp_getsockname'
idris_net.o:idris_net.c:(.text+0x3bd): undefined reference to `__imp_ntohs'
idris_net.o:idris_net.c:(.text+0x3d8): undefined reference to `__imp_ntohs'
idris_net.o:idris_net.c:(.text+0x453): undefined reference to `__imp_connect'
idris_net.o:idris_net.c:(.text+0x46c): undefined reference to `__imp_freeaddrinfo'
idris_net.o:idris_net.c:(.text+0x483): undefined reference to `__imp_freeaddrinfo'
idris_net.o:idris_net.c:(.text+0x4f8): undefined reference to `inet_ntop'
idris_net.o:idris_net.c:(.text+0x52a): undefined reference to `__imp_ntohs'
idris_net.o:idris_net.c:(.text+0x585): undefined reference to `__imp_accept'
idris_net.o:idris_net.c:(.text+0x5ca): undefined reference to `__imp_send'
idris_net.o:idris_net.c:(.text+0x657): undefined reference to `__imp_send'
idris_net.o:idris_net.c:(.text+0x6dd): undefined reference to `__imp_recv'
idris_net.o:idris_net.c:(.text+0x74c): undefined reference to `__imp_recv'
idris_net.o:idris_net.c:(.text+0x87e): undefined reference to `__imp_sendto'
idris_net.o:idris_net.c:(.text+0x891): undefined reference to `__imp_freeaddrinfo'
idris_net.o:idris_net.c:(.text+0x933): undefined reference to `__imp_sendto'
idris_net.o:idris_net.c:(.text+0xa12): undefined reference to `__imp_recvfrom'
idris_net.o:idris_net.c:(.text+0xb0e): undefined reference to `__imp_recvfrom'
idris_net.o:idris_net.c:(.text+0xbea): undefined reference to `__imp_ntohs'
collect2.exe: error: ld returned 1 exit status
make[1]: *** [idris_net.so] Error 1
make[1]: Leaving directory `/c/Idris2/libs/network'
make.exe": *** [network] Error 2
PS C:\Idris2>