| 1 | /home/linux-bkb/bin/ghc --numeric-version |
|---|
| 2 | looking for package tool: ghc-pkg near compiler in /home/linux-bkb/bin |
|---|
| 3 | found package tool in /home/linux-bkb/bin/ghc-pkg |
|---|
| 4 | /home/linux-bkb/bin/ghc-pkg --version |
|---|
| 5 | /home/linux-bkb/bin/ghc --supported-languages |
|---|
| 6 | Reading installed packages... |
|---|
| 7 | /home/linux-bkb/bin/ghc-pkg dump --global |
|---|
| 8 | /home/linux-bkb/bin/ghc-pkg dump --user |
|---|
| 9 | Reading available packages... |
|---|
| 10 | Resolving dependencies... |
|---|
| 11 | selecting Hets-0.94 (hackage) |
|---|
| 12 | selecting HAIFA-0.12 (installed) and discarding HTTP-4000.0.4 |
|---|
| 13 | selecting HTTP-3001.1.4 (installed) |
|---|
| 14 | selecting HUnit-1.2.0.3 (installed) |
|---|
| 15 | selecting array-0.2.0.0 (installed) |
|---|
| 16 | selecting bytestring-0.9.1.4 (installed) |
|---|
| 17 | selecting containers-0.2.0.1 (installed) |
|---|
| 18 | selecting curl-1.3.4 (installed) |
|---|
| 19 | selecting dataenc-0.12 (installed) |
|---|
| 20 | selecting directory-1.0.0.3 (installed) |
|---|
| 21 | selecting fgl-5.4.2.2 (installed) |
|---|
| 22 | selecting filepath-1.1.0.2 (installed) |
|---|
| 23 | selecting ghc-prim-0.1.0.0 (installed) |
|---|
| 24 | selecting haskell98-1.0.1.0 (installed) |
|---|
| 25 | selecting html-1.0.1.2 (installed) |
|---|
| 26 | selecting hxt-8.2.0 (installed) |
|---|
| 27 | selecting hxt-filter-8.2.0 (installed) |
|---|
| 28 | selecting integer-0.1.0.1 (installed) |
|---|
| 29 | selecting mtl-1.1.0.2 (installed) |
|---|
| 30 | selecting network-2.2.1 (installed) |
|---|
| 31 | selecting old-locale-1.0.0.1 (installed) |
|---|
| 32 | selecting old-time-1.0.0.2 (installed) |
|---|
| 33 | selecting packedstring-0.1.0.1 (installed) |
|---|
| 34 | selecting parallel-1.1.0.1 (installed) |
|---|
| 35 | selecting parsec-2.1.0.1 (installed) |
|---|
| 36 | selecting pretty-1.0.1.0 (installed) |
|---|
| 37 | selecting process-1.0.1.1 (installed) |
|---|
| 38 | selecting random-1.0.0.1 (installed) |
|---|
| 39 | selecting regex-base-0.72.0.2 (installed) |
|---|
| 40 | selecting regex-compat-0.71.0.1 (installed) |
|---|
| 41 | selecting regex-posix-0.72.0.3 (installed) |
|---|
| 42 | selecting rts-1.0 (installed) |
|---|
| 43 | selecting syb-0.1.0.1 (installed) |
|---|
| 44 | selecting syb-generics-2.9 (installed) |
|---|
| 45 | selecting tagsoup-0.6 (installed) |
|---|
| 46 | selecting template-haskell-2.3.0.1 (installed) |
|---|
| 47 | selecting time-1.1.2.3 (installed) |
|---|
| 48 | selecting uni-events-2.0 (installed) |
|---|
| 49 | selecting uni-graphs-2.0 (installed) |
|---|
| 50 | selecting uni-htk-2.0 (installed) |
|---|
| 51 | selecting uni-posixutil-2.0 (installed) |
|---|
| 52 | selecting uni-reactor-2.0 (installed) |
|---|
| 53 | selecting uni-uDrawGraph-2.0 (installed) |
|---|
| 54 | selecting uni-util-2.0 (installed) |
|---|
| 55 | selecting unix-2.3.2.0 (installed) |
|---|
| 56 | selecting xml-1.3.3 (installed) |
|---|
| 57 | selecting base-3.0.3.1 (installed) and 4.1.0.0 (installed) |
|---|
| 58 | Configuring Hets-0.94... |
|---|
| 59 | Flags chosen: gtkglade=False, hxtfilter=True, shellac=False, tar=False, |
|---|
| 60 | tabular=False, programatica=False, haxml=False, uniform=True |
|---|
| 61 | Dependency HAIFA >=0.11 && ==0.12: using HAIFA-0.12 |
|---|
| 62 | Dependency array >=0.1.0.0 && ==0.2.0.0: using array-0.2.0.0 |
|---|
| 63 | Dependency base >=4.0.0.0 && ==4.1.0.0: using base-4.1.0.0 |
|---|
| 64 | Dependency containers >=0.1.0.1 && ==0.2.0.1: using containers-0.2.0.1 |
|---|
| 65 | Dependency directory >=1.0.0.0 && ==1.0.0.3: using directory-1.0.0.3 |
|---|
| 66 | Dependency fgl >=5.4.1.1 && ==5.4.2.2: using fgl-5.4.2.2 |
|---|
| 67 | Dependency filepath -any && ==1.1.0.2: using filepath-1.1.0.2 |
|---|
| 68 | Dependency ghc-prim -any && ==0.1.0.0: using ghc-prim-0.1.0.0 |
|---|
| 69 | Dependency haskell98 >=1.0.1.0 && ==1.0.1.0: using haskell98-1.0.1.0 |
|---|
| 70 | Dependency hxt >=8.0.0 && ==8.2.0: using hxt-8.2.0 |
|---|
| 71 | Dependency hxt-filter >=8.0.0 && ==8.2.0: using hxt-filter-8.2.0 |
|---|
| 72 | Dependency mtl >=1.1.0.0 && ==1.1.0.2: using mtl-1.1.0.2 |
|---|
| 73 | Dependency network >=2.1.0.0 && ==2.2.1: using network-2.2.1 |
|---|
| 74 | Dependency old-time >=1.0.0.0 && ==1.0.0.2: using old-time-1.0.0.2 |
|---|
| 75 | Dependency parsec >=2.1.0.0 && ==2.1.0.1: using parsec-2.1.0.1 |
|---|
| 76 | Dependency pretty >=1.0.0.0 && ==1.0.1.0: using pretty-1.0.1.0 |
|---|
| 77 | Dependency process >=1.0.0.0 && ==1.0.1.1: using process-1.0.1.1 |
|---|
| 78 | Dependency regex-compat >=0.71.0.1 && ==0.71.0.1: using regex-compat-0.71.0.1 |
|---|
| 79 | Dependency syb-generics ==2.9 && ==2.9: using syb-generics-2.9 |
|---|
| 80 | Dependency time >=1.1.2.0 && ==1.1.2.3: using time-1.1.2.3 |
|---|
| 81 | Dependency uni-events -any && ==2.0: using uni-events-2.0 |
|---|
| 82 | Dependency uni-graphs >=2.0 && <=3.0 && ==2.0: using uni-graphs-2.0 |
|---|
| 83 | Dependency uni-htk >=2.0 && <=3.0 && ==2.0: using uni-htk-2.0 |
|---|
| 84 | Dependency uni-posixutil -any && ==2.0: using uni-posixutil-2.0 |
|---|
| 85 | Dependency uni-reactor -any && ==2.0: using uni-reactor-2.0 |
|---|
| 86 | Dependency uni-uDrawGraph >=2.0 && <=3.0 && ==2.0: using uni-uDrawGraph-2.0 |
|---|
| 87 | Dependency uni-util >=2.0 && <=3.0 && ==2.0: using uni-util-2.0 |
|---|
| 88 | Dependency xml >=1.3 && <=1.4 && ==1.3.3: using xml-1.3.3 |
|---|
| 89 | Using Cabal-1.6.0.3 compiled by ghc-6.10 |
|---|
| 90 | Using compiler: ghc-6.10.2 |
|---|
| 91 | Using install prefix: /home/maeder/.cabal |
|---|
| 92 | Binaries installed in: /home/maeder/.cabal/bin |
|---|
| 93 | Libraries installed in: /home/maeder/.cabal/lib/Hets-0.94/ghc-6.10.2 |
|---|
| 94 | Private binaries installed in: /home/maeder/.cabal/libexec |
|---|
| 95 | Data files installed in: /home/maeder/.cabal/share/Hets-0.94 |
|---|
| 96 | Documentation installed in: /home/maeder/.cabal/share/doc/Hets-0.94 |
|---|
| 97 | Using alex version 2.2 found on system at: /home/linux-bkb/bin/alex |
|---|
| 98 | Using ar found on system at: /usr/bin/ar |
|---|
| 99 | No c2hs found |
|---|
| 100 | Using cpphs version 1.6 found on system at: /home/linux-bkb/bin/cpphs |
|---|
| 101 | Using ffihugs found on system at: /home/linux-bkb/bin/ffihugs |
|---|
| 102 | Using gcc version 4.2.1 found on system at: /usr/local/bin/gcc |
|---|
| 103 | Using ghc version 6.10.2 found on system at: /home/linux-bkb/bin/ghc |
|---|
| 104 | Using ghc-pkg version 6.10.2 found on system at: /home/linux-bkb/bin/ghc-pkg |
|---|
| 105 | No greencard found |
|---|
| 106 | Using haddock version 2.4.2 found on system at: /home/linux-bkb/bin/haddock |
|---|
| 107 | Using happy version 1.17 found on system at: /home/linux-bkb/bin/happy |
|---|
| 108 | Using hmake version 3.10 found on system at: /home/linux-bkb/bin/hmake |
|---|
| 109 | Using hsc2hs version 0.67 found on system at: /home/linux-bkb/bin/hsc2hs |
|---|
| 110 | No hscolour found |
|---|
| 111 | Using hugs found on system at: /home/linux-bkb/bin/hugs |
|---|
| 112 | No jhc found |
|---|
| 113 | Using ld found on system at: /usr/bin/ld |
|---|
| 114 | No nhc98 found |
|---|
| 115 | Using pkg-config version 0.21 found on system at: /usr/bin/pkg-config |
|---|
| 116 | Using ranlib found on system at: /usr/bin/ranlib |
|---|
| 117 | Using strip found on system at: /usr/bin/strip |
|---|
| 118 | Using tar found on system at: /bin/tar |
|---|
| 119 | /usr/local/bin/gcc /tmp/27966.c -o /tmp/27966 -D__GLASGOW_HASKELL__=610 -I. -DUNI_PACKAGE -DHXTFILTER -DCASLEXTENSIONS -I/home/linux-bkb/ghc/ghc-6.10.2/lib/time-1.1.2.3/ghc-6.10.2/include -I/home/linux-bkb/ghc/ghc-6.10.2/lib/ghc-6.10.2/process-1.0.1.1/include -I/home/linux-bkb/ghc/ghc-6.10.2/lib/ghc-6.10.2/directory-1.0.0.3/include -I/home/linux-bkb/ghc/ghc-6.10.2/lib/ghc-6.10.2/unix-2.3.2.0/include -I/home/linux-bkb/ghc/ghc-6.10.2/lib/ghc-6.10.2/old-time-1.0.0.2/include -I/home/linux-bkb/ghc/ghc-6.10.2/lib/ghc-6.10.2/bytestring-0.9.1.4/include -I/home/linux-bkb/ghc/ghc-6.10.2/lib/ghc-6.10.2/network-2.2.1/include -I/home/linux-bkb/ghc/ghc-6.10.2/lib/ghc-6.10.2/base-4.1.0.0/include -I/home/linux-bkb/ghc/ghc-6.10.2/lib/ghc-6.10.2/include |
|---|
