Re: [Haskell-cafe] install cuda

2013-03-31 Thread Stephen Tetley
It looks like you are using Cygwin for a Unix-alike environment. For building Haskell bindings to C libraries you are better off with MinGW + MSYS. On 30 March 2013 19:43, Peter Caspers pcaspers1...@gmail.com wrote: I am trying to install the cuda package on a Windows 7 enviroment. However I

Re: [Haskell-cafe] Haskell SBV Package with Z3

2013-03-31 Thread J. J. W.
Dear L. Erkok, First I would like to wish you happy easter and I would like to thank you for your help. I have a couple of more questions. I am now playing with SBV package, however I am not sure if I understand the use of arrays, maybe you can give me some pointers. For example I want to prove

Re: [Haskell-cafe] Threadscope 0.2.2 goes in segmentation fault on Mac Os X 10.8.3

2013-03-31 Thread Alfredo Di Napoli
Fair enough :) Here is the gdb output: (gdb) run Starting program: /Users/adinapoli/Library/Haskell/ghc-7.6.2/bin/threadscope Reading symbols for shared libraries

Re: [Haskell-cafe] install cuda

2013-03-31 Thread Peter Caspers
Hi, thank you. I could resolve some of the problems by removing spaces from the Cuda and Haskell platform installation paths. Now I am left wiht the following error: configure:3596: checking for library containing cuDriverGetVersion configure:3627:

Re: [Haskell-cafe] Threadscope 0.2.2 goes in segmentation fault on Mac Os X 10.8.3

2013-03-31 Thread Tobias Müller
Alfredo Di Napoli alfredo.dinap...@gmail.com wrote: Fair enough :) Here is the gdb output: (gdb) run Starting program: /Users/adinapoli/Library/Haskell/ghc-7.6.2/bin/threadscope Reading symbols for shared libraries

Re: [Haskell-cafe] install cuda

2013-03-31 Thread Henk-Jan van Tuyl
On Sun, 31 Mar 2013 17:03:22 +0200, Peter Caspers pcaspers1...@gmail.com wrote: In fact the library path -L/c/CUDA/NVIDIA_GPU_Computing_Toolkit/CUDA/v4.1/lib is not correct (there are two subfolders x64 and Win32 containing the lib files) and I do not see where this path is actually

Re: [Haskell-cafe] install cuda

2013-03-31 Thread Geoffrey Mainland
Try my fork: https://github.com/mainland/cuda In particular, read WINDOWS.md. Geoff On 03/31/2013 07:54 AM, Stephen Tetley wrote: It looks like you are using Cygwin for a Unix-alike environment. For building Haskell bindings to C libraries you are better off with MinGW + MSYS. On 30

Re: [Haskell-cafe] install cuda

2013-03-31 Thread Peter Caspers
The environment variable should probably be LIBRARY_PATH; I use a semicolon as separator. See also LD_LIBRARY_PATH vs LIBRARY_PATH[0]. yes, it's LIBRARY_PATH. The x64 version of cuda.lib is not recognized at all (same error message as if the file was not existent). The Win32 version

Re: [Haskell-cafe] install cuda

2013-03-31 Thread Geoffrey Mainland
On 03/31/2013 05:55 PM, Peter Caspers wrote: The environment variable should probably be LIBRARY_PATH; I use a semicolon as separator. See also LD_LIBRARY_PATH vs LIBRARY_PATH[0]. yes, it's LIBRARY_PATH. The x64 version of cuda.lib is not recognized at all (same error message as if the file

Re: [Haskell-cafe] Threadscope 0.2.2 goes in segmentation fault on Mac Os X 10.8.3

2013-03-31 Thread Alfredo Di Napoli
Hi Tobias, What do you mean by _some_ program? It's the program that you started (threadscope). In a forum I've read that this error could be some third party app (for example one started at login or running as a daemon) which is conflicting and causing the error. Unlikely, but i've

Re: [Haskell-cafe] install cuda

2013-03-31 Thread Peter Caspers
yes I more or less saw this in the meantime, too. Actually modifying the source code on which the error is reported from configure: failed program was: | /* confdefs.h */ | #define PACKAGE_NAME Haskell CUDA bindings | #define PACKAGE_TARNAME cuda ... | #ifdef __cplusplus | extern C | #endif |

Re: [Haskell-cafe] Specialized Computer Architecture - A Question

2013-03-31 Thread Tommy Thorn
And if you are, you may be interested in https://github.com/tommythorn/Reduceron The underlying topic is a fascinating one. The fact that people ignore is that silicon cycle time improvements have been fairly modest - perhaps 2-3 orders of magnitude and we have long been at the point where wire

Re: [Haskell-cafe] cabal install pandoc

2013-03-31 Thread Brent Yorgey
On Fri, Mar 29, 2013 at 08:05:47AM -0230, Roger Mason wrote: Thank you for your response. 'ghc-pkg check' shows some problems: http://pastebin.ca/2344794 On 03/28/2013 08:01 PM, Patrick Wheeler wrote: So I printed off the requirements for pandoc on a empty ghc-7.6.2 install you can find

Re: [Haskell-cafe] install cuda

2013-03-31 Thread Peter Caspers
Hmm, I get Configuring cuda-0.5.0.0... setup.exe: configure script not found. can you help ? Peter I was able to install the cuda package under 32-bit GHC 7.4.2 using the 5.0 SDK and use it from within ghci. This required using my fork of the cuda repo and following the instructions in my

Re: [Haskell-cafe] install cuda

2013-03-31 Thread Geoffrey Mainland
You need to generate the configure script using autoconf: https://www.gnu.org/software/autoconf/manual/autoconf.html#autoconf-Invocation On 03/31/2013 08:27 PM, Peter Caspers wrote: Hmm, I get Configuring cuda-0.5.0.0... setup.exe: configure script not found. can you help ? Peter I was

[Haskell-cafe] Organising code in FRP

2013-03-31 Thread luc taesch
I am just learning FRP ( via reactive-banana) . so possibly opening a topic already mentionned , apologises in advance, and pointers welcomed. I am wondering about code structuration ? ie spagetti code for the network 1/ in a non trivial FRP applicaiton, how to manage modulatity or structuration

[Haskell-cafe] graphical editor links ?

2013-03-31 Thread Luc TAESCH
I am designing some graphical editor ( visio - dia like) and would be interested to hear any pointer to help me think on the architecture of this, in term of data structure/ EDSL/ persistence/ paradigm (FP/ FRP/...) for the different layers of abstraction I may see , like rendering libraries

[Haskell-cafe] Layout section of Haskell 2010 Language Report -- Notes 12

2013-03-31 Thread Seth Lastname
I'm sure I'm missing something, but I'm having difficulty parsing or reconciling Note 1 and Note 2 of Section 10.3 (Layout) of the Haskell 2010 Language Report. http://www.haskell.org/onlinereport/haskell2010/haskellch10.html#x17-17800010.3 Can somebody point me in the right direction? To

Re: [Haskell-cafe] Haskell SBV Package with Z3

2013-03-31 Thread Levent Erkok
Jun Jie: A SymArray is an abstraction of an array that can contain symbolic values, as well as being indexed by a symbolic value. I'm not sure how the example you picked relates. There's a sample program in the SBV distribution that shows how to use SymArray's, maybe looking at that might help: