Re: [Solaris bindist] Re: ANNOUNCE: GHC 7.8.1 Release Candidate 1
Hi Karel, Ok, yet I suppose that the #!/bin/sh script in ghc-pwd-bindist will still fail for me on Solaris 10, even if I build ghc from sources. Why was this script changed? (Or was it not?) Is still a (non-trivial) haskell binary needed to compute the current directory for ./configure? Alternatively, if one does not want to make export LD_LIBRARY_PATH ... Bourne shell compatible, one should start the script with: #!/bin/bash or (as I've seen elsewhere) better (?) #!/usr/bin/env bash Cheers Christian Am 05.02.2014 23:43, schrieb Karel Gardas: Hi Christian, the bindist is compiled on Solaris 11.0 so probably of no use for you on Solaris 10. Also I needed to provide separate tarball of compiled and installed libgmp.so as the Solaris 11's provided does not satisfy GHC requirements and GHC refuses to use that... Karel On 02/ 5/14 04:28 PM, Christian Maeder wrote: Hi, I was surprised to find a Solaris bindist. However, on our SunOS 5.10 ./configure failed miserably. -bash-3.2$ ./configure checking for path to top of build tree... utils/ghc-pwd/dist-install/build/tmp/ghc-pwd-bindist: LD_LIBRARY_PATH=libraries/directory/dist-install/build:libraries/unix/dist-install/build:libraries/time/dist-install/build:libraries/old-locale/dist-install/build:libraries/filepath/dist-install/build:libraries/bytestring/dist-install/build:libraries/deepseq/dist-install/build:libraries/array/dist-install/build:libraries/base/dist-install/build:libraries/integer-gmp/dist-install/build:libraries/ghc-prim/dist-install/build:rts/dist/build:/opt/csw/lib: is not an identifier configure: error: cannot determine current directory This happens, because our /bin/sh is a real sh (and not a bash) that only allows to export LD_LIBRARY_PATH as a separate command. The next failure was: ld.so.1: ghc-pwd: fatal: libgmp.so.10: open failed: No such file or directory So I had to extend LD_LIBRARY_PATH manually (by /opt/csw/lib). After this I got: ld.so.1: ghc-pwd: fatal: relocation error: file libraries/unix/dist-install/build/libHSunix-2.7.0.0-ghc7.8.20140130.so: symbol clearenv: referenced symbol not found Which of my libraries is wrong (or too old) despite a matching version number? libdl.so.1 = /lib/libdl.so.1 libgmp.so.10 = /opt/csw/lib/libgmp.so.10 libm.so.2 = /lib/libm.so.2 librt.so.1 = /lib/librt.so.1 libc.so.1 = /lib/libc.so.1 libgcc_s.so.1 = /opt/csw/lib/libgcc_s.so.1 libaio.so.1 = /lib/libaio.so.1 libmd.so.1 = /lib/libmd.so.1 I had to give up! (I'll try to build it from sources if I find time.) Cheers Christian Am 03.02.2014 23:35, schrieb Austin Seipp: We are pleased to announce the first release candidate for GHC 7.8.1: http://www.haskell.org/ghc/dist/7.8.1-rc1/ http://www.haskell.org/ghc/docs/7.8.1-rc1/html/ This includes the source tarball and bindists for Windows, Linux, OS X, FreeBSD, and Solaris, on x86 and x86_64. There is a signed copy of the SHA256 hashes available (attached) using my GPG key (keyid 0x3B58D86F). We plan to make the 7.8.1 RC2 release quite soon, as we're aware of some existing issues. Please test as much as possible; bugs are much cheaper if we find them before the release! ... ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: ANNOUNCE: GHC 7.8.1 Release Candidate 1
On 02/ 5/14 03:09 PM, Arie Peterson wrote: On Monday 03 February 2014 16:35:14 Austin Seipp wrote: We are pleased to announce the first release candidate for GHC 7.8.1: […] This includes the source tarball and bindists for Windows, Linux, OS X, FreeBSD, and Solaris, on x86 and x86_64. […] Has anyone by chance built it for arm, yet? If I understand correctly, with this new version, it should be possible to compile programs with a dependency on vector, on arm. unfortunately build on ubuntu 12.04.2 lts still fails with: inplace/bin/ghc-stage2 -hisuf hi -osuf o -hcsuf hc -static -H32m -O -package-name vector-0.10.9.1 -hide-all-packages -i -ilibraries/vector/. -ilibraries/vector/dist-install/build -ilibraries/vector/dist-install/build/autogen -Ilibraries/vector/dist-install/build -Ilibraries/vector/dist-install/build/autogen -Ilibraries/vector/include -Ilibraries/vector/internal -optP-DVECTOR_BOUNDS_CHECKS -optP-include -optPlibraries/vector/dist-install/build/autogen/cabal_macros.h -package base-4.7.0.0 -package deepseq-1.3.0.2 -package ghc-prim-0.3.1.0 -package primitive-0.5.2.0 -O2 -XHaskell98 -XCPP -XDeriveDataTypeable -O2 -no-user-package-db -rtsopts -odir libraries/vector/dist-install/build -hidir libraries/vector/dist-install/build -stubdir libraries/vector/dist-install/build -c libraries/vector/./Data/Vector/Fusion/Stream/Monadic.hs -o libraries/vector/dist-install/build/Data/Vector/Fusion/Stream/Monadic.o Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... Illegal instruction make[1]: *** [libraries/vector/dist-install/build/Data/Vector/Fusion/Stream/Monadic.o] Error 132 make[1]: *** Waiting for unfinished jobs make: *** [all] Error 2 So either I made some mistake or we're not there yet. Karel ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: [Solaris bindist] Re: ANNOUNCE: GHC 7.8.1 Release Candidate 1
I can no longer build ghc from sources for yet another reason (attached log). sed reports command garbled. I do not even know where to find this call in the makefile infrastructure. I suspect gsed must be used instead (on our Solaris installation). Cheers Christian Am 05.02.2014 23:43, schrieb Karel Gardas: Hi Christian, the bindist is compiled on Solaris 11.0 so probably of no use for you on Solaris 10. Also I needed to provide separate tarball of compiled and installed libgmp.so as the Solaris 11's provided does not satisfy GHC requirements and GHC refuses to use that... Karel On 02/ 5/14 04:28 PM, Christian Maeder wrote: Hi, I was surprised to find a Solaris bindist. However, on our SunOS 5.10 ./configure failed miserably. -bash-3.2$ ./configure checking for path to top of build tree... utils/ghc-pwd/dist-install/build/tmp/ghc-pwd-bindist: LD_LIBRARY_PATH=libraries/directory/dist-install/build:libraries/unix/dist-install/build:libraries/time/dist-install/build:libraries/old-locale/dist-install/build:libraries/filepath/dist-install/build:libraries/bytestring/dist-install/build:libraries/deepseq/dist-install/build:libraries/array/dist-install/build:libraries/base/dist-install/build:libraries/integer-gmp/dist-install/build:libraries/ghc-prim/dist-install/build:rts/dist/build:/opt/csw/lib: is not an identifier configure: error: cannot determine current directory This happens, because our /bin/sh is a real sh (and not a bash) that only allows to export LD_LIBRARY_PATH as a separate command. The next failure was: ld.so.1: ghc-pwd: fatal: libgmp.so.10: open failed: No such file or directory So I had to extend LD_LIBRARY_PATH manually (by /opt/csw/lib). After this I got: ld.so.1: ghc-pwd: fatal: relocation error: file libraries/unix/dist-install/build/libHSunix-2.7.0.0-ghc7.8.20140130.so: symbol clearenv: referenced symbol not found Which of my libraries is wrong (or too old) despite a matching version number? libdl.so.1 = /lib/libdl.so.1 libgmp.so.10 = /opt/csw/lib/libgmp.so.10 libm.so.2 = /lib/libm.so.2 librt.so.1 = /lib/librt.so.1 libc.so.1 = /lib/libc.so.1 libgcc_s.so.1 = /opt/csw/lib/libgcc_s.so.1 libaio.so.1 = /lib/libaio.so.1 libmd.so.1 = /lib/libmd.so.1 I had to give up! (I'll try to build it from sources if I find time.) Cheers Christian Am 03.02.2014 23:35, schrieb Austin Seipp: We are pleased to announce the first release candidate for GHC 7.8.1: http://www.haskell.org/ghc/dist/7.8.1-rc1/ http://www.haskell.org/ghc/docs/7.8.1-rc1/html/ This includes the source tarball and bindists for Windows, Linux, OS X, FreeBSD, and Solaris, on x86 and x86_64. There is a signed copy of the SHA256 hashes available (attached) using my GPG key (keyid 0x3B58D86F). We plan to make the 7.8.1 RC2 release quite soon, as we're aware of some existing issues. Please test as much as possible; bugs are much cheaper if we find them before the release! ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users log.gz Description: GNU Zip compressed data ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
RC1 build failures on Debian
Hi, with RC1 in experimental, the Debian auto-builders have now picked up building 7.8, and it is failing on armel, hurd-i386, mips and mipsel: armel (https://buildd.debian.org/status/fetch.php?pkg=ghcarch=armelver=7.8.20140130-1stamp=1391666879) inplace/bin/ghc-stage2 -o utils/haddock/dist/build/tmp/haddock -hisuf hi -osuf o -hcsuf hc -static -H32m -O -lffi -optl-pthread -optc-mlong-calls -hide-all-packages -i -iutils/haddock/driver -iutils/haddock/src -iutils/haddock/vendor/attoparsec-0.10.4.0 -iutils/haddock/dist/build -iutils/haddock/dist/build/autogen -Iutils/haddock/dist/build -Iutils/haddock/dist/build/autogen-optP-DIN_GHC_TREE -optP-include -optPutils/haddock/dist/build/autogen/cabal_macros.h -package Cabal-1.18.1.3 -package array-0.5.0.0 -package base-4.7.0.0 -package bytestring-0.10.4.0 -package containers-0.5.4.0 -package deepseq-1.3.0.2 -package directory-1.2.0.2 -package filepath-1.3.0.2 -package ghc-7.8.20140130 -package xhtml-3000.2.1 -funbox-strict-fields -Wall -fwarn-tabs -O2 -XHaskell2010 -no-user-package-db -rtsopts -odir utils/haddock/dist/build -hidir utils/haddock/dist/build -stubdir utils/haddock/dist/build utils/haddock/dist/build/Main.o utils/haddock/dist/build/Documentation/Haddock.o utils/haddock/dist/build/Data/Attoparsec.o utils/haddock/dist/build/Data/Attoparsec/ByteString.o utils/haddock/dist/build/Data/Attoparsec/ByteString/Char8.o utils/haddock/dist/build/Data/Attoparsec/Combinator.o utils/haddock/dist/build/Data/Attoparsec/Number.o utils/haddock/dist/build/Data/Attoparsec/ByteString/FastSet.o utils/haddock/dist/build/Data/Attoparsec/ByteString/Internal.o utils/haddock/dist/build/Data/Attoparsec/Internal.o utils/haddock/dist/build/Data/Attoparsec/Internal/Types.o utils/haddock/dist/build/Haddock.o utils/haddock/dist/build/Haddock/Interface.o utils/haddock/dist/build/Haddock/Interface/Rename.o utils/haddock/dist/build/Haddock/Interface/Create.o utils/haddock/dist/build/Haddock/Interface/AttachInstances.o utils/haddock/dist/build/Haddock/Interface/LexParseRn.o utils/haddock/dist/build/Haddock/Interface/ParseModuleHeader.o utils/haddock/dist/build/Haddock/Parser.o utils/haddock/dist/build/Haddock/Parser/Util.o utils/haddock/dist/build/Haddock/Utf8.o utils/haddock/dist/build/Haddock/Utils.o utils/haddock/dist/build/Haddock/Backends/Xhtml.o utils/haddock/dist/build/Haddock/Backends/Xhtml/Decl.o utils/haddock/dist/build/Haddock/Backends/Xhtml/DocMarkup.o utils/haddock/dist/build/Haddock/Backends/Xhtml/Layout.o utils/haddock/dist/build/Haddock/Backends/Xhtml/Names.o utils/haddock/dist/build/Haddock/Backends/Xhtml/Themes.o utils/haddock/dist/build/Haddock/Backends/Xhtml/Types.o utils/haddock/dist/build/Haddock/Backends/Xhtml/Utils.o utils/haddock/dist/build/Haddock/Backends/LaTeX.o utils/haddock/dist/build/Haddock/Backends/HaddockDB.o utils/haddock/dist/build/Haddock/Backends/Hoogle.o utils/haddock/dist/build/Haddock/ModuleTree.o utils/haddock/dist/build/Haddock/Types.o utils/haddock/dist/build/Haddock/Doc.o utils/haddock/dist/build/Haddock/Version.o utils/haddock/dist/build/Haddock/InterfaceFile.o utils/haddock/dist/build/Haddock/Options.o utils/haddock/dist/build/Haddock/GhcUtils.o utils/haddock/dist/build/Haddock/Convert.o utils/haddock/dist/build/Paths_haddock.o /«PKGBUILDDIR»/compiler/stage2/build/libHSghc-7.8.20140130.a(genSym.o): In function `genSym': genSym.c:(.text+0x84): undefined reference to `arm_atomic_spin_lock' genSym.c:(.text+0x88): undefined reference to `arm_atomic_spin_unlock' collect2: error: ld returned 1 exit status make[2]: *** [utils/haddock/dist/build/tmp/haddock] Error 1 make[1]: *** [all] Error 2 make[1]: Leaving directory `/«PKGBUILDDIR»' make: *** [build-stamp] Error 2 hurd (https://buildd.debian.org/status/fetch.php?pkg=ghcarch=hurd-i386ver=7.8.20140130-1stamp=1391625204) inplace/bin/ghc-stage1 -optc-Wall -optc-Wextra -optc-Wstrict-prototypes -optc-Wmissing-prototypes -optc-Wmissing-declarations -optc-Winline -optc-Waggregate-return -optc-Wpointer-arith -optc-Wmissing-noreturn -optc-Wnested-externs -optc-Wredundant-decls -optc-Iincludes -optc-Iincludes/dist -optc-Iincludes/dist-derivedconstants/header -optc-Iincludes/dist-ghcconstants/header -optc-Irts -optc-Irts/dist/build -optc-DCOMPILING_RTS -optc-fno-strict-aliasing -optc-fno-common -optc-O2 -optc-fomit-frame-pointer -optc-DDYNAMIC -optc-DRtsWay=\rts_dyn\ -fPIC -dynamic -H32m -O -lffi -optl-pthread -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist-ghcconstants/header -Irts -Irts/dist/build -DCOMPILING_RTS -package-name rts -dcmm-lint -i -irts -irts/dist/build -irts/dist/build/autogen -Irts/dist/build -Irts/dist/build/autogen -O2-c rts/hooks/StackOverflow.c -o rts/dist/build/hooks/StackOverflow.dyn_o ghc-stage1: panic! (the 'impossible' happened) (GHC version 7.8.20140130 for i386-unknown-gnu): howToAccessLabel: PIC not defined for this
Re: [Solaris bindist] Re: ANNOUNCE: GHC 7.8.1 Release Candidate 1
Hi Christian, honestly speaking I've not touched ghc-pwd-bindist script at all. Everything I did was Austin's recommended: get the source in appropriate way, make, make binary-dist. It produced tarball and I've uploaded it. Generally speaking if you are not satisfied with support for Solaris 10, please change it as you like and submit your patch to ghc-d...@haskell.org, people there are very friendly to merge if they see patch is all right... Thanks! Karel On 02/ 6/14 10:33 AM, Christian Maeder wrote: Hi Karel, Ok, yet I suppose that the #!/bin/sh script in ghc-pwd-bindist will still fail for me on Solaris 10, even if I build ghc from sources. Why was this script changed? (Or was it not?) Is still a (non-trivial) haskell binary needed to compute the current directory for ./configure? Alternatively, if one does not want to make export LD_LIBRARY_PATH ... Bourne shell compatible, one should start the script with: #!/bin/bash or (as I've seen elsewhere) better (?) #!/usr/bin/env bash Cheers Christian Am 05.02.2014 23:43, schrieb Karel Gardas: Hi Christian, the bindist is compiled on Solaris 11.0 so probably of no use for you on Solaris 10. Also I needed to provide separate tarball of compiled and installed libgmp.so as the Solaris 11's provided does not satisfy GHC requirements and GHC refuses to use that... Karel On 02/ 5/14 04:28 PM, Christian Maeder wrote: Hi, I was surprised to find a Solaris bindist. However, on our SunOS 5.10 ./configure failed miserably. -bash-3.2$ ./configure checking for path to top of build tree... utils/ghc-pwd/dist-install/build/tmp/ghc-pwd-bindist: LD_LIBRARY_PATH=libraries/directory/dist-install/build:libraries/unix/dist-install/build:libraries/time/dist-install/build:libraries/old-locale/dist-install/build:libraries/filepath/dist-install/build:libraries/bytestring/dist-install/build:libraries/deepseq/dist-install/build:libraries/array/dist-install/build:libraries/base/dist-install/build:libraries/integer-gmp/dist-install/build:libraries/ghc-prim/dist-install/build:rts/dist/build:/opt/csw/lib: is not an identifier configure: error: cannot determine current directory This happens, because our /bin/sh is a real sh (and not a bash) that only allows to export LD_LIBRARY_PATH as a separate command. The next failure was: ld.so.1: ghc-pwd: fatal: libgmp.so.10: open failed: No such file or directory So I had to extend LD_LIBRARY_PATH manually (by /opt/csw/lib). After this I got: ld.so.1: ghc-pwd: fatal: relocation error: file libraries/unix/dist-install/build/libHSunix-2.7.0.0-ghc7.8.20140130.so: symbol clearenv: referenced symbol not found Which of my libraries is wrong (or too old) despite a matching version number? libdl.so.1 = /lib/libdl.so.1 libgmp.so.10 = /opt/csw/lib/libgmp.so.10 libm.so.2 = /lib/libm.so.2 librt.so.1 = /lib/librt.so.1 libc.so.1 = /lib/libc.so.1 libgcc_s.so.1 = /opt/csw/lib/libgcc_s.so.1 libaio.so.1 = /lib/libaio.so.1 libmd.so.1 = /lib/libmd.so.1 I had to give up! (I'll try to build it from sources if I find time.) Cheers Christian Am 03.02.2014 23:35, schrieb Austin Seipp: We are pleased to announce the first release candidate for GHC 7.8.1: http://www.haskell.org/ghc/dist/7.8.1-rc1/ http://www.haskell.org/ghc/docs/7.8.1-rc1/html/ This includes the source tarball and bindists for Windows, Linux, OS X, FreeBSD, and Solaris, on x86 and x86_64. There is a signed copy of the SHA256 hashes available (attached) using my GPG key (keyid 0x3B58D86F). We plan to make the 7.8.1 RC2 release quite soon, as we're aware of some existing issues. Please test as much as possible; bugs are much cheaper if we find them before the release! ... ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
[OS X mavericks and lifted-base] Re: ANNOUNCE: GHC 7.8.1 Release Candidate 1
cabal install lifted-base finally fails with: [5 of 6] Compiling Control.Exception.Lifted ( Control/Exception/Lifted.hs, dist/build/Control/Exception/Lifted.p_o ) Control/Exception/Lifted.hs:82:1: Warning: The import of ‛Monad’ from module ‛Control.Monad’ is redundant [6 of 6] Compiling Control.Concurrent.Lifted ( Control/Concurrent/Lifted.hs, dist/build/Control/Concurrent/Lifted.p_o ) ld: library not found for -lHSmonad-control-0.3.2.2-ghc7.8.20140130 clang: error: linker command failed with exit code 1 (use -v to see invocation) Failed to install lifted-base-0.2.1.1 base-unicode-symbols-0.2.2.4 monad-control-0.3.2.2 transformers-base-0.4.1 are properly installed. There is a library libHSmonad-control-0.3.2.2.a (but no libHSmonad-control-0.3.2.2-ghc7.8.20140130.a) Cheers Christian Am 03.02.2014 23:35, schrieb Austin Seipp: We are pleased to announce the first release candidate for GHC 7.8.1: http://www.haskell.org/ghc/dist/7.8.1-rc1/ http://www.haskell.org/ghc/docs/7.8.1-rc1/html/ This includes the source tarball and bindists for Windows, Linux, OS X, FreeBSD, and Solaris, on x86 and x86_64. There is a signed copy of the SHA256 hashes available (attached) using my GPG key (keyid 0x3B58D86F). We plan to make the 7.8.1 RC2 release quite soon, as we're aware of some existing issues. Please test as much as possible; bugs are much cheaper if we find them before the release! ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: RC1 build failures on Debian
On 02/ 6/14 02:36 PM, Joachim Breitner wrote: Hi, with RC1 in experimental, the Debian auto-builders have now picked up building 7.8, and it is failing on armel, hurd-i386, mips and mipsel: armel (https://buildd.debian.org/status/fetch.php?pkg=ghcarch=armelver=7.8.20140130-1stamp=1391666879) inplace/bin/ghc-stage2 -o utils/haddock/dist/build/tmp/haddock -hisuf hi -osuf o -hcsuf hc -static -H32m -O -lffi -optl-pthread -optc-mlong-calls -hide-all-packages -i -iutils/haddock/driver -iutils/haddock/src -iutils/haddock/vendor/attoparsec-0.10.4.0 -iutils/haddock/dist/build -iutils/haddock/dist/build/autogen -Iutils/haddock/dist/build -Iutils/haddock/dist/build/autogen-optP-DIN_GHC_TREE -optP-include -optPutils/haddock/dist/build/autogen/cabal_macros.h -package Cabal-1.18.1.3 -package array-0.5.0.0 -package base-4.7.0.0 -package bytestring-0.10.4.0 -package containers-0.5.4.0 -package deepseq-1.3.0.2 -package directory-1.2.0.2 -package filepath-1.3.0.2 -package ghc-7.8.20140130 -package xhtml-3000.2.1 -funbox-strict-fields -Wall -fwarn-tabs -O2 -XHaskell2010 -no-user-package-db -rtsopts -odir utils/haddock/dist/build -hidir utils/haddock/dist/build -stubdir utils/haddock/dist/build utils/haddock/dist/build/Main.o utils/haddock/dist/build/Documenta tion/Hadd ock.o utils/haddock/dist/build/Data/Attoparsec.o utils/haddock/dist/build/Data/Attoparsec/ByteString.o utils/haddock/dist/build/Data/Attoparsec/ByteString/Char8.o utils/haddock/dist/build/Data/Attoparsec/Combinator.o utils/haddock/dist/build/Data/Attoparsec/Number.o utils/haddock/dist/build/Data/Attoparsec/ByteString/FastSet.o utils/haddock/dist/build/Data/Attoparsec/ByteString/Internal.o utils/haddock/dist/build/Data/Attoparsec/Internal.o utils/haddock/dist/build/Data/Attoparsec/Internal/Types.o utils/haddock/dist/build/Haddock.o utils/haddock/dist/build/Haddock/Interface.o utils/haddock/dist/build/Haddock/Interface/Rename.o utils/haddock/dist/build/Haddock/Interface/Create.o utils/haddock/dist/build/Haddock/Interface/AttachInstances.o utils/haddock/dist/build/Haddock/Interface/LexParseRn.o utils/haddock/dist/build/Haddock/Interface/ParseModuleHeader.o utils/haddock/dist/build/Haddock/Parser.o utils/haddock/dist/build/Haddock/Parser/Util.o utils/haddock/dist/build/Haddock/Ut f8.o util s/haddock/dist/build/Haddock/Utils.o utils/haddock/dist/build/Haddock/Backends/Xhtml.o utils/haddock/dist/build/Haddock/Backends/Xhtml/Decl.o utils/haddock/dist/build/Haddock/Backends/Xhtml/DocMarkup.o utils/haddock/dist/build/Haddock/Backends/Xhtml/Layout.o utils/haddock/dist/build/Haddock/Backends/Xhtml/Names.o utils/haddock/dist/build/Haddock/Backends/Xhtml/Themes.o utils/haddock/dist/build/Haddock/Backends/Xhtml/Types.o utils/haddock/dist/build/Haddock/Backends/Xhtml/Utils.o utils/haddock/dist/build/Haddock/Backends/LaTeX.o utils/haddock/dist/build/Haddock/Backends/HaddockDB.o utils/haddock/dist/build/Haddock/Backends/Hoogle.o utils/haddock/dist/build/Haddock/ModuleTree.o utils/haddock/dist/build/Haddock/Types.o utils/haddock/dist/build/Haddock/Doc.o utils/haddock/dist/build/Haddock/Version.o utils/haddock/dist/build/Haddock/InterfaceFile.o utils/haddock/dist/build/Haddock/Options.o utils/haddock/dist/build/Haddock/GhcUtils.o utils/haddock/dist/build/Haddock/Convert.o uti ls/haddoc k/dist/build/Paths_haddock.o /«PKGBUILDDIR»/compiler/stage2/build/libHSghc-7.8.20140130.a(genSym.o): In function `genSym': genSym.c:(.text+0x84): undefined reference to `arm_atomic_spin_lock' genSym.c:(.text+0x88): undefined reference to `arm_atomic_spin_unlock' collect2: error: ld returned 1 exit status make[2]: *** [utils/haddock/dist/build/tmp/haddock] Error 1 make[1]: *** [all] Error 2 make[1]: Leaving directory `/«PKGBUILDDIR»' make: *** [build-stamp] Error 2 Looks like this is for pre-ARMv6 platform. Also it looks like probably OldARMAtomic.c is not compiled or/not linked into the RTS? Karel ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: [Solaris bindist] ANNOUNCE: GHC 7.8.1 Release Candidate 1
On Feb 6, 2014, at 10:33 , Christian Maeder wrote: or (as I've seen elsewhere) better (?) #!/usr/bin/env bash Definitely use this, FreeBSD (for example) does not ship with bash so /bin/bash will *not* exist. Cheers, Merijn signature.asc Description: Message signed with OpenPGP using GPGMail ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
GHC iOS 7.8.1 RC1 for Device Simulator
Hi folks, RC builds of GHC iOS are now ready for devices and the iOS simulator. https://github.com/ghc-ios/ghc-ios-scripts/releases/download/7.8-rc1-device/ghc-7.8.20140129-arm-apple-ios.tar.bz2 https://github.com/ghc-ios/ghc-ios-scripts/releases/download/7.8-rc1-simulator/ghc-7.8.20140130-i386-apple-ios.tar.bz2 You'll find complete instructions on their usage here, including compiling cabal packages: https://github.com/ghc-ios/ghc-ios-scripts/blob/master/README.md Please let me know how it goes! Cheers Luke ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: [Solaris bindist] ANNOUNCE: GHC 7.8.1 Release Candidate 1
On Thu, Feb 6, 2014 at 1:39 PM, Merijn Verstraaten mer...@inconsistent.nl wrote: On Feb 6, 2014, at 10:33 , Christian Maeder wrote: or (as I've seen elsewhere) better (?) #!/usr/bin/env bash Definitely use this, FreeBSD (for example) does not ship with bash so /bin/bash will *not* exist. Please, do not introduce dependency on bash unless it is really necessary. ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: ANNOUNCE: GHC 7.8.1 Release Candidate 1
Would it be possible for the bindist to link to libgmp.so instead of libgmp.so.10? Are you expecting core dumps with the wrong version? -- View this message in context: http://haskell.1045720.n5.nabble.com/ANNOUNCE-GHC-7-8-1-Release-Candidate-1-tp5743256p5743506.html Sent from the Haskell - Glasgow-haskell-users mailing list archive at Nabble.com. ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: ANNOUNCE: GHC 7.8.1 Release Candidate 1
Would it be possible for the bindist to link to libgmp.so instead of libgmp.so.10? Are you expecting core dumps with the wrong version? I tried faking it, and now it's complaining about GLIBC_2.15. Seems like I might just have to build from source on Red Hat. -- View this message in context: http://haskell.1045720.n5.nabble.com/ANNOUNCE-GHC-7-8-1-Release-Candidate-1-tp5743256p5743507.html Sent from the Haskell - Glasgow-haskell-users mailing list archive at Nabble.com. ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
7.8.1-candidate fail
Dear GHC team, I am trying to testghc-7.8.20140130-src.tar.bz2 I make it from source with ghc-7.6.3 on Debian Linux (64 bit). ./configure looks all right. And `make' reports after 40 minutes: --- ... ... inplace/bin/ghc-stage1 -optc-Ilibraries/integer-gmp/. -optc-I'/home/mechvel/g. ... ... /usr/bin/ld: libraries/integer-gmp/gmp/objs/aors.o: relocation R_X86_64_32 against `__gmpz_sub' can not be used when making a shared object; recompile with -fPIC libraries/integer-gmp/gmp/objs/aors.o: could not read symbols: Bad value collect2: ld returned 1 exit status make[1]: *** [libraries/integer-gmp/dist-install/build/libHSinteger-gmp-0.5.1.0\ -ghc7.8.20140130.so] Error 1 --- What might this mean? Need I to install a fresher libgmp ? Thanks, -- Sergei ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: 7.8.1-candidate fail
I had the same problem on Debian Squeeze: https://ghc.haskell.org/trac/ghc/ticket/8666 What is your distro? CCing ghc-devs. Janek Dnia czwartek, 6 lutego 2014, Sergei Meshveliani napisał: Dear GHC team, I am trying to testghc-7.8.20140130-src.tar.bz2 I make it from source with ghc-7.6.3 on Debian Linux (64 bit). ./configure looks all right. And `make' reports after 40 minutes: --- ... ... inplace/bin/ghc-stage1 -optc-Ilibraries/integer-gmp/. -optc-I'/home/mechvel/g. ... ... /usr/bin/ld: libraries/integer-gmp/gmp/objs/aors.o: relocation R_X86_64_32 against `__gmpz_sub' can not be used when making a shared object; recompile with -fPIC libraries/integer-gmp/gmp/objs/aors.o: could not read symbols: Bad value collect2: ld returned 1 exit status make[1]: *** [libraries/integer-gmp/dist-install/build/libHSinteger-gmp-0.5.1.0\ -ghc7.8.20140130.so] Error 1 --- What might this mean? Need I to install a fresher libgmp ? Thanks, -- Sergei ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: RC1 build failures on Debian
In file included from rts/sm/Evac.c:21:0: rts/sm/GCTDecl.h:139:2: error: #error Cannot find a way to declare the thread-local gc variable! #error Cannot find a way to declare the thread-local gc variable! ^ I built GHC from the source tarball on mips64el and hit the same error. Any suggestions? Funnily, the comment in the corresponding file says /* Impossible! */ pgpxDqYRGsmEI.pgp Description: PGP signature ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
[Haskell] GPCE 2104 - Call for Papers
CALL FOR PAPERS 13th International Conference on Generative Programming: Concepts Experiences (GPCE 2014) September 15-16, 2014 Västerås, Sweden (collocated with ASE 2014 and SLE 2014) http://www.gpce.org http://www.facebook.com/GPCEConference http://twitter.com/GPCECONF IMPORTANT DATES * Submission of papers:May 30, 2014 * Paper notification: July 7, 2014 SCOPE Generative and component approaches and domain-specific abstractions are revolutionizing software development just as automation and componentization revolutionized manufacturing. Raising the level of abstraction in software specification has been a fundamental goal of the computing community for several decades. Key technologies for automating program development and lifting the abstraction level closer to the problem domain are *Generative Programming* for program synthesis, *Domain-Specific Languages* (DSLs) for compact problem-oriented programming notations, and corresponding *Implementation Technologies* aiming at modularity, correctness, reuse, and evolution. As the field matures *Applications* and *Empirical Results* are of increasing importance. The International Conference on Generative Programming: Concepts Experiences (GPCE) is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities. SUBMISSIONS We seek research papers of up to 10 pages in SIGPLAN proceedings style (sigplanconf.cls, see http://www.sigplan.org/authorInformation.htm) reporting original and unpublished results of theoretical, empirical, conceptual, or experimental research that contribute to scientific knowledge in the areas listed below (the PC chair can advise on appropriateness). 4-page short papers and tool demonstrations are also accepted (see website). TOPICS GPCE seeks contributions on all topics related to generative software and its properties. As technology is maturing, this year, we are particularly looking for empirical evaluations in this context. Key topics include (but are certainly not limited too): * Generative software Domain-specific languages Product lines Metaprogramming Program synthesis Implementation techniques and tool support * Properties of generative software Correctness of generators and generated code Reuse and evolution Modularity, separation of concerns, understandability, and maintainability Performance engineering, nonfunctional properties Application areas and engineering practice * Empirical evaluations of all topics above A more detailed list of topics can be found on the website. Examples of key challenges in the field are * Synthesizing code from declarative specifications * Supporting extensible languages and language embedding * Ensuring correctness and other nonfunctional properties of generated code; proving generators correct * Improving error reporting with domain-specific error messages * Reasoning about generators; handling variability-induced complexity in product lines * Providing efficient interpreters and execution languages * Human factors in developing and maintaining generators Note on empirical evaluations: GPCE is committed to the empirical evaluation of generative software. Publishing empirical papers at programming-language venues can be challenging. We understand the frustration of authors when, for example, reviews simply recommend repeating entire experiments with human subjects with slight deviations in execution. To alleviate such problems, we have recruited forto program committee experts who routinely work with empirical methods, and we will actively seek external reviews where appropriate. During submissions, authors can optionally indicate that a paper contains substantial empirical work, and we will endeavor have to the paper reviewed by experts familiar with the empirical research methods that are used in the paper. The program-committee discussions will reflect on both technical contributions and research methods. Policy: Incremental improvements over previously published work should have been evaluated through systematic, comparative, empirical, or experimental evaluation. Submissions must adhere to SIGPLAN's republication policy (http://www.sigplan.org/republicationpolicy.htm). Please contact the program chair if you have any questions about how this policy applies to your paper (cha...@gpce.org). ORGANIZATION Chairs
[Haskell] 2nd Call for Papers - TFPIE 2014
All, Please find below the call for papers for the 3rd International Workshop on Trends In Functional Programming in Education, TFPIE 2014. Apologies in advance for multiple copies you may receive. Best regards, James Caldwell Call for Papers ___ *3rd International Workshop on Trends in Functional Programming in Education (TFPIE 2014)* May 25, 2014 Utrecht University Soesterberg, The Netherlands (http://www.cs.uwyo.edu/~jlc/tfpie14/ http://www.cs.uwyo.edu/%7Ejlc/tfpie14/) The 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, will be co-located with the Symposium on Trends in Functional Programming (TFP 2014) http://www.cs.uu.nl/wiki/TFP2014/ at Soesterberg, at the Kontakt der Kontinenten http://www.kontaktderkontinenten.nl/conferentiehotel/home.aspx?lang=en-US hotel in the Netherlands on Sunday, May 25th. TFP will follow from May 26-28. The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2014 will screen submissions to ensure that all presentations are within scope and are of interest to participants. Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website/wiki. Visitors to the TFPIE 2014 website/wiki will be able to add comments. This includes presenters who may respond to comments and questions as well as provide pointers to improvements and follow-up work. After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the journalElectronic Proceedings in Theoretical Computer Science (EPTCS) http://published.eptcs.org/. Articles not selected for presentation and extended abstracts will not be formally reviewed by the PC. TFPIE workshops have previously been held in St Andrews, Scotland (2012) and in Provo Utah, USA (2013). *Program Committee* James Caldwell, (Program Chair) University of Wyoming Peter Achten, Radboud University, Nijmgen Edwin Brady, University of St Andrews, St Andrews Jurriaan Hage, Universiteit Utrecht Philip Holzenspies, University of Twente Daniel R. Licata, Wesleyan University Marco T Morazan, Seton Hall University Christian Skalka, University of Vermont David Van Horn, Northeastern University *Submission Guidelines* There will be two types of presentations at TFPIE 2014. Regular papers and best lecture presentations. The best lecture talks are intended to allow for presentations or short lectures of purely pedagogical material. Papers and abstracts can be submitted via easychair at the following link: https://www.easychair.org/conferences/?conf=tfpie2014 *Papers* TFPIE 2014 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to: * FP and beginning CS students * FP and Computational Thinking * FP and Artificial Intelligence * FP in Robotics * FP and Music * Advanced FP for undergraduates * FP in graduate education * Engaging students in research using FP * FP in Programming Languages * FP in the high school curriculum * FP as a stepping stone to other CS topics * FP and Philosophy * * *Best Lectures* In addition to papers, this year we are requesting best lecture presentations. What's your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. *Important Dates* * 1 February 2014: TFPIE submissions open on easychair. * 7 April 2014: TFP and TFPIE registration opens * 21 April 2014: Submission deadline for draft TFPIE papers and abstracts * 27 April 2014: Notification of acceptance for presentation * 25 May 2014: Presentations in Soesterberg, Netherlands * 29 June 2014: Full papers for EPTCS proceedings due. * 16 August 2014: Notification of acceptance for proceedings * 8 September 2014: Camera ready copy due for EPTCS Submission of an abstract implies no obligation to submit a full paper;
[Haskell] AI4FM 2014: Call for Short Contributions
- AI4FM 2014 - the 5th International Workshop on the use of AI in Formal Methods http://www.ai4fm.org/ai4fm-2014/ Singapore, 13th May, 2014 In association with FM 2014 - --- Second Call for Contributions --- Important Dates --- Submission deadline: March 01, 2014 Notification of acceptance: March 08, 2014 Final version due: April 22, 2014 Workshop: May 13th, 2014 General --- This workshop will bring together researchers from formal methods, automated reasoning and AI; it will address the issue of how AI can be used to support the formal software development process, including requirement analysis, modelling and proof. Previous AI4FM workshops have included a mix of industrial and academic participants and we anticipate attracting a similarly diverse audience. Rigorous software development using formal methods allows the construction of an accurate characterisation of a problem domain that is firmly based on mathematics; by applying standard mathematical analyses, these methods can be used to prove that systems satisfy formal specifications. Research has shown that with tools backed by mature theory, formal methods are becoming cost effective and their use is easier to justify, not as an academic exercise, legal requirement or niche markets -- but as part of a business case. However, while industrial use of formal methods is increasing, in order to make it more mainstream, the cost of applying formal methods, in terms of mathematical skill level and development time, must still be reduced. We believe that AI can help with these issues. Scope --- We encourage submissions presenting work in progress, tools under development, and PhD projects, in order that the workshop can become a forum for active dialogue between the groups involved in automated reasoning, formal methods and artificial intelligence. Particular areas of interest include, but are not limited to: - The use of AI and automated reasoning to support and guide the formal modelling process. - The use of AI and automated reasoning in the requirement capture process. - The use of AI to reuse formal models, programs and proofs. - The use of machine learning to support interactive theorem proving. - The use of machine learning to enhance automated theorem proving. - The development of search heuristics. - The use of AI for term synthesis, invariant generation, lemma discovery and concept invention. - The use of AI for counter-example generation. - The use of constraint solvers in formal methods. - The role of AI planning for formal systems developments, from requirements to the end product (including software and hardware). - The interplay between reasoning and modelling and the role of AI in this framework. - Ontologies in the formal engineering process. History --- This will be the fifth workshop in the series. Previous workshops were held at: - Rennes, France, July 2013 @ ITP (www.ai4fm.org/ai4fm-2013/) - Schloss Dagstuhl, Germany, July 2012 (www.dagstuhl.de/12271) - Edinburgh, UK, April 2011 (www.ai4fm.org/ai4fm-2011.php) - Newcastle, UK, May 2010 (www.ai4fm.org/ko-meeting.php) Submission --- The main aim for the workshop is discussion, thus submissions do not need to be original. Extended versions of submissions may have been published previously, or submitted concurrently with or after AI4FM 2014 to another workshop, conference or a journal. Submission is by email to: ai4fm2...@ai4fm.org Please submit an abstract up to 3 pages in a PDF format. The extended abstracts will be handed out to all participants, and will be made into a technical report prior to the workshop. Acceptance for presentation at the workshop will be made by the organisers based on relevance to the workshop. Organisers --- * Leo Freitas (Newcastle University, UK) * Gudmund Grov (Heriot-Watt University, UK) * Iain Whiteside (Newcastle University, UK) Contact Details If you have any queries, please email the organisers at the following email address: ai4fm2...@ai4fm.org ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] ETAPS 2014 call for participation
To notice: - The programme of the main conferences of ETAPS 2014 is on the web. - Early registration is until Friday, 14 February 2014. ** CALL FOR PARTICIPATION ETAPS 2014 17th European Joint Conferences on Theory And Practice of Software Grenoble, France, 5-13 April 2014 http://www.etaps.org/2014 ** -- ABOUT ETAPS -- The European Joint Conferences on Theory And Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences, accompanied by satellite workshops. ETAPS 2014 is already the seventeenth event in the series. -- MAIN CONFERENCES (7-11 April) -- * CC: Compiler Construction * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- INVITED TALKS -- * Unifying speakers: John Launchbury (Galois, US) Geoffrey Smith (Florida International University, US) * CC invited speaker: Benoit Dupont de Dinechin (Kalray, France) * ESOP invited speaker: Maurice Herlihy (Brown University, US) * FASE invited speaker: Christel Baier (Technical University of Dresden, Germany) * FoSSaCS invited speaker: Petr Jancar (Technical Univ of Ostrava, Czech Republic) * POST invited speaker: David Mazières (Stanford University, US) * TACAS invited speaker: Orna Kupferman (Hebrew University Jerusalem, Israel) -- TUTORIALS * Andy Gordon (Microsoft Research, Cambridge, UK) * Bernd Finkbeiner (Univ des Saarlandes, Germany) -- CONTRIBUTED PAPERS See the accepted paper lists and the programme of the main conferences at the conference website. -- SATELLITE EVENTS (5-6 and 12-13 April) -- 23 satellite workshops will take place before or after ETAPS 2014. CMCS, DICE, F-IDE, Graphite, GT-VMT, MBT, MEALS, RePP, Sifakis event, SR, SynCop, VSSE, WRLA will be held 5-6 April 2014. AiSOS, Cassting, FESCA, GALOP, GramSec, HAS, HotSpot, MSFP, PLACES, QAPL have been scheduled for 12-13 April 2014. -- REGISTRATION Early registration is until Friday, 14 February 2014. Normal-rate registration is until Monday, 10 March 2014. -- ACCOMMODATION We request that participants arrange their accommodation on their own. See our recommendations on the website. -- HOST CITY -- Located in the southeastern part of France, Grenoble is considered as the capital of the Alps. Grenoble is surrounded by nature and high mountains: down the Alps, Grenoble is the meeting point of two important rivers, Drac and Isere. Grenoble has important historical and gastronomic heritages. Leisure activities in breathtaking nature are easily organizable and within short-distance. Grenoble is also a major scientific center in Europe dedicated to high-tech technologies, e.g., nano, micro, bio, and information technologies. -- ORGANIZERS * General chair: Saddek Bensalem * Conferences chair: Alain Girault * Workshops chair: Axel Legay * Publicity chair: Ylies Falcone * Finance chair: Nicolas Halbwachs * Website chair: Marius Bozga Host institution: VERIMAG, U Joseph Fourier / CNRS / Grenoble INP -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps2014.organizat...@imag.fr. ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
