Resolving dependencies... Downloading xilinx-lava-5.0.1.9... Configuring xilinx-lava-5.0.1.9... Building xilinx-lava-5.0.1.9... Preprocessing library xilinx-lava-5.0.1.9... Lava/Col.hs:1:14: Warning: -XDoRec is deprecated: use -XRecursiveDo or pragma {-# LANGUAGE RecursiveDo #-} instead Lava/Middle.hs:1:14: Warning: -XDoRec is deprecated: use -XRecursiveDo or pragma {-# LANGUAGE RecursiveDo #-} instead Lava/Utils.hs:1:12: Warning: -fglasgow-exts is deprecated: Use individual extensions instead [ 1 of 32] Compiling Lava.Components ( Lava/Components.hs, dist/build/Lava/Components.o ) [ 2 of 32] Compiling Lava.Utils ( Lava/Utils.hs, dist/build/Lava/Utils.o ) [ 3 of 32] Compiling Lava.ISE ( Lava/ISE.hs, dist/build/Lava/ISE.o ) [ 4 of 32] Compiling Lava.Netlist ( Lava/Netlist.hs, dist/build/Lava/Netlist.o ) [ 5 of 32] Compiling Lava.ApplyLayout ( Lava/ApplyLayout.hs, dist/build/Lava/ApplyLayout.o ) [ 6 of 32] Compiling Lava.ComputeNetDrivers ( Lava/ComputeNetDrivers.hs, dist/build/Lava/ComputeNetDrivers.o ) [ 7 of 32] Compiling Lava.PortRange ( Lava/PortRange.hs, dist/build/Lava/PortRange.o ) [ 8 of 32] Compiling Lava.RPM ( Lava/RPM.hs, dist/build/Lava/RPM.o ) [ 9 of 32] Compiling Lava.Version ( Lava/Version.hs, dist/build/Lava/Version.o ) [10 of 32] Compiling Lava.LUTGates ( Lava/LUTGates.hs, dist/build/Lava/LUTGates.o ) [11 of 32] Compiling Lava.PrimitiveGates ( Lava/PrimitiveGates.hs, dist/build/Lava/PrimitiveGates.o ) [12 of 32] Compiling Lava.OverlayTile ( Lava/OverlayTile.hs, dist/build/Lava/OverlayTile.o ) [13 of 32] Compiling Lava.CircuitGraphToVHDL ( Lava/CircuitGraphToVHDL.hs, dist/build/Lava/CircuitGraphToVHDL.o ) [14 of 32] Compiling Lava.NetlistToEDIF ( Lava/NetlistToEDIF.hs, dist/build/Lava/NetlistToEDIF.o ) Lava/NetlistToEDIF.hs:352:1: Warning: Pattern match(es) are overlapped In an equation for `findConnection2D': findConnection2D i connections prange1 prange2 = ... [15 of 32] Compiling Lava.Ports ( Lava/Ports.hs, dist/build/Lava/Ports.o ) [16 of 32] Compiling Lava.Combinators ( Lava/Combinators.hs, dist/build/Lava/Combinators.o ) [17 of 32] Compiling Lava.Col ( Lava/Col.hs, dist/build/Lava/Col.o ) [18 of 32] Compiling Lava.Middle ( Lava/Middle.hs, dist/build/Lava/Middle.o ) [19 of 32] Compiling Lava.Gates ( Lava/Gates.hs, dist/build/Lava/Gates.o ) [20 of 32] Compiling Lava.ComputeNetlist ( Lava/ComputeNetlist.hs, dist/build/Lava/ComputeNetlist.o ) [21 of 32] Compiling Lava.Instantiate ( Lava/Instantiate.hs, dist/build/Lava/Instantiate.o ) [22 of 32] Compiling Lava.Diagnostics ( Lava/Diagnostics.hs, dist/build/Lava/Diagnostics.o ) [23 of 32] Compiling Lava.Virtex6 ( Lava/Virtex6.hs, dist/build/Lava/Virtex6.o ) [24 of 32] Compiling Lava.Virtex2 ( Lava/Virtex2.hs, dist/build/Lava/Virtex2.o ) [25 of 32] Compiling Lava.Virtex4 ( Lava/Virtex4.hs, dist/build/Lava/Virtex4.o ) [26 of 32] Compiling Lava.Virtex5 ( Lava/Virtex5.hs, dist/build/Lava/Virtex5.o ) [27 of 32] Compiling Lava ( Lava.hs, dist/build/Lava.o ) [28 of 32] Compiling Lava.OneBitAdder ( Lava/OneBitAdder.hs, dist/build/Lava/OneBitAdder.o ) [29 of 32] Compiling Lava.Adder ( Lava/Adder.hs, dist/build/Lava/Adder.o ) [30 of 32] Compiling Lava.OneBitSubtractor ( Lava/OneBitSubtractor.hs, dist/build/Lava/OneBitSubtractor.o ) [31 of 32] Compiling Lava.Subtractor ( Lava/Subtractor.hs, dist/build/Lava/Subtractor.o ) [32 of 32] Compiling Lava.Comparator ( Lava/Comparator.hs, dist/build/Lava/Comparator.o ) In-place registering xilinx-lava-5.0.1.9... Preprocessing executable 'report_par' for xilinx-lava-5.0.1.9... [1 of 1] Compiling Main ( tools/ReportPar.hs, dist/build/report_par/report_par-tmp/Main.o ) Linking dist/build/report_par/report_par ... Preprocessing executable 'implement' for xilinx-lava-5.0.1.9... [1 of 2] Compiling Lava.ISE ( Lava/ISE.hs, dist/build/implement/implement-tmp/Lava/ISE.o ) [2 of 2] Compiling Main ( Implement.hs, dist/build/implement/implement-tmp/Main.o ) Linking dist/build/implement/implement ... Running Haddock for xilinx-lava-5.0.1.9... Running hscolour for xilinx-lava-5.0.1.9... Preprocessing library xilinx-lava-5.0.1.9... Preprocessing executable 'report_par' for xilinx-lava-5.0.1.9... Preprocessing executable 'implement' for xilinx-lava-5.0.1.9... Preprocessing library xilinx-lava-5.0.1.9... dist/build/tmp-10358/Lava/Col.hs:1:14: Warning: -XDoRec is deprecated: use -XRecursiveDo or pragma {-# LANGUAGE RecursiveDo #-} instead dist/build/tmp-10358/Lava/Middle.hs:1:14: Warning: -XDoRec is deprecated: use -XRecursiveDo or pragma {-# LANGUAGE RecursiveDo #-} instead dist/build/tmp-10358/Lava/Utils.hs:1:12: Warning: -fglasgow-exts is deprecated: Use individual extensions instead Haddock coverage: 0% ( 0 / 2) in 'Lava.Components' 7% ( 3 / 41) in 'Lava.Utils' 25% ( 1 / 4) in 'Lava.ISE' 3% ( 1 / 32) in 'Lava.Netlist' 0% ( 0 / 9) in 'Lava.ApplyLayout' 0% ( 0 / 5) in 'Lava.ComputeNetDrivers' 0% ( 0 / 3) in 'Lava.PortRange' 0% ( 0 / 2) in 'Lava.RPM' 67% ( 2 / 3) in 'Lava.Version' 89% ( 8 / 9) in 'Lava.LUTGates' 67% ( 2 / 3) in 'Lava.PrimitiveGates' 50% ( 1 / 2) in 'Lava.OverlayTile' 0% ( 0 / 3) in 'Lava.CircuitGraphToVHDL' 12% ( 3 / 25) in 'Lava.NetlistToEDIF' 64% ( 9 / 14) in 'Lava.Ports' 85% ( 40 / 47) in 'Lava.Combinators' 50% ( 1 / 2) in 'Lava.Col' 50% ( 1 / 2) in 'Lava.Middle' 52% ( 36 / 69) in 'Lava.Gates' 25% ( 1 / 4) in 'Lava.ComputeNetlist' 0% ( 0 / 2) in 'Lava.Instantiate' 6% ( 2 / 35) in 'Lava.Diagnostics' 52% ( 36 / 69) in 'Lava.Virtex6' 52% ( 36 / 69) in 'Lava.Virtex2' 52% ( 36 / 69) in 'Lava.Virtex4' 52% ( 36 / 69) in 'Lava.Virtex5' 61% ( 69 /114) in 'Lava' 0% ( 0 / 2) in 'Lava.OneBitAdder' 0% ( 0 / 3) in 'Lava.Adder' 0% ( 0 / 2) in 'Lava.OneBitSubtractor' 33% ( 1 / 3) in 'Lava.Subtractor' 50% ( 1 / 2) in 'Lava.Comparator' Documentation created: dist/doc/html/xilinx-lava/index.html, dist/doc/html/xilinx-lava/xilinx-lava.txt Preprocessing executable 'report_par' for xilinx-lava-5.0.1.9... Preprocessing executable 'implement' for xilinx-lava-5.0.1.9... Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/xilinx-lava-5.0.1.9 Installing executable(s) in /srv/hackage/var/build/tmp-install/bin Warning: The directory /srv/hackage/var/build/tmp-install/bin is not in the system search path. Registering xilinx-lava-5.0.1.9... Installed xilinx-lava-5.0.1.9