$ bali-phy: Error! No paths to find builtins are specified!. Use --builtins-path=<path> to specify the directory containing 'Prelude.so'.
$ bali-phy: Error! In module 'Prelude': Cannot load library: Exec format error
$ ../configure --prefix=/cygdrive/c/users/kjp/win/bali-phy/src/x86_64/BAli-Phy --build=x86_64-w64-mingw32 && make && make install
kjp@ddt-tesla /cygdrive/c/users/kjp/win/bali-phy/src/BAli-Phy/build
$ ../configure --prefix=/cygdrive/c/users/kjp/win/bali-phy/src/x86_64/BAli-Phy --build=x86_64-w64-mingw32 --with-system-boost && make && make install
kjp@ddt-tesla /cygdrive/c/users/kjp/win/bali-phy/src/BAli-Phy/build-static
$ ../configure --prefix=/cygdrive/c/users/kjp/win/bali-phy/x86_64/BAli-Phy --with-gnu-ld && make && make install
Hi, I'm trying to build from the git sources (Oct 15) on Windows 8.1 with Cygwin64. I was able to build a 64-bit v2.1.1 on this system yesterday and it is running great. With the current sources I can build the program but it fails with a runtime error:
$ bali-phy: Error! No paths to find builtins are specified!. Use --builtins-path=<path> to specify the directory containing 'Prelude.so'.
The trouble is, there are no *.so files in the build, so specifying the --builtins-path doesn't help. Cygwin64 builds *.a and *.la libraries. I tried copying and renaming the files and that didn't help:
$ bali-phy: Error! In module 'Prelude': Cannot load library: Exec format error
I'm guessing this is related to the build type. The default is x86_64-unknown-cygwin The build tools are actually x86_64-pc-cygwin but I'm not sure if that's an important difference.
--
You received this message because you are subscribed to the Google Groups "bali-phy-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to bali-phy-user...@googlegroups.com.
To post to this group, send email to bali-ph...@googlegroups.com.
Visit this group at http://groups.google.com/group/bali-phy-users.
For more options, visit https://groups.google.com/d/optout.
Just to clarify - I'm indifferent to whether MingW is used and whether system Boost libraries are used, I'm just trying to find a build solution. Thanks for your work on this!
Karl
--