DavidThien
commented
5 years ago Hi @erich666, sorry for the delayed response. Thanks for the bug report, I've had trouble with the installation process for softposit-rkt on machines with different configurations than it expects before, so I'm guessing there's some tooling not found on the Linux subsystem. I'll check this out soon.
When I try to install softposit-rkt on Ubuntu (atop the Windows subsystem for Linux) there is one file that does not install properly: pkgs/softposit-rkt/libsoftposit.so - see the error in the output at the end of this note. Please realize that this means I'm essentially running Ubuntu Linux in a Bash shell - it could well be that Microsoft's Bash shell implementation doesn't exactly work right, but this is different than issue #3, which is Windows-specific.
If after the bad install I try to run Herbie, develop branch, which now depends on softposit-rkt, I get the following:
ehaines@Ehaines-It:~/Github/herbie$ racket src/herbie.rkt report bench/tutorial.fpcore graphs/ ffi-lib: couldn't open "libsoftposit.so" (libsoftposit.so: cannot open shared object file: No such file or directory) context...: /usr/share/racket/collects/ffi/unsafe.rkt:216:2: get-ffi-obj* "/home/ehaines/.racket/7.2/pkgs/softposit-rkt/softposit.rkt": [running body] temp37_0 for-loop run-module-instance!125 for-loop [repeats 1 more time] run-module-instance!125 for-loop [repeats 1 more time] run-module-instance!125 for-loop [repeats 1 more time] run-module-instance!125 for-loop [repeats 1 more time] ...
Here is the installation log for when I originally install softposit-rkt - about halfway down you'll see where libsoftposit.so does not get installed:
ehaines@Ehaines-It:~$ raco pkg install softposit-rkt Resolving "softposit-rkt" via https://download.racket-lang.org/releases/7.2/catalog/ Resolving "softposit-rkt" via https://pkgs.racket-lang.org Using cached15554487201555448720407 for https://github.com/DavidThien/softposit-rkt.git raco setup: version: 7.2 raco setup: platform: x86_64-linux [3m] raco setup: target machine: racket raco setup: installation name: 7.2 raco setup: variants: 3m raco setup: main collects: /usr/share/racket/collects raco setup: collects paths: raco setup: /home/ehaines/.racket/7.2/collects raco setup: /usr/share/racket/collects raco setup: main pkgs: /usr/share/racket/pkgs raco setup: pkgs paths: raco setup: /usr/share/racket/pkgs raco setup: /home/ehaines/.racket/7.2/pkgs raco setup: links files: raco setup: /usr/share/racket/links.rktd raco setup: /home/ehaines/.racket/7.2/links.rktd raco setup: main docs: /usr/share/doc/racket raco setup: --- updating info-domain tables --- raco setup: updating: /home/ehaines/.racket/7.2/share/info-cache.rktd raco setup: --- pre-installing collections --- raco setup: pre-installing:/softposit-rkt (softposit-rkt)
raco setup: --- installing foreign libraries ---
raco setup: installing: foreign library /home/ehaines/.racket/7.2/lib/libsoftposit.so
copy-directory/files: encountered path that is neither file nor directory
path: /home/ehaines/.racket/7.2/pkgs/softposit-rkt/libsoftposit.so
context...:
/usr/share/racket/collects/racket/file.rkt:94:2: loop
/usr/share/racket/collects/setup/setup-core.rkt:1753:30: copy-lib
/usr/share/racket/collects/setup/setup-core.rkt:1784:30: for-loop
/usr/share/racket/collects/setup/setup-core.rkt:178:50
/usr/share/racket/collects/setup/setup-core.rkt:1730:6: for-loop
/usr/share/racket/collects/setup/setup-core.rkt:1726:4: make-libs-step
/usr/share/racket/collects/setup/setup-core.rkt:71:0: setup-core
/usr/share/racket/collects/setup/setup.rkt:65:3
/usr/share/racket/collects/pkg/main.rkt:17:0: setup
(submod "/usr/share/racket/collects/pkg/main.rkt" main): [running body]
temp37_0
for-loop
run-module-instance!125
for-loop
[repeats 1 more time]
run-module-instance!125
...
raco setup: --- installing shared files ---
raco setup: --- compiling collections ---
raco setup: --- parallel build using 8 jobs ---
raco setup: 7 making: /softposit-rkt (softposit-rkt)
raco setup: 7 making: /softposit-rkt/SoftPosit
raco setup: --- creating launchers ---
raco setup: --- installing man pages ---
raco setup: --- building documentation ---
raco setup: 1 running: /softposit-rkt/softposit-rkt.scrbl
raco setup: 4 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: 3 rendering: /racket-index/scribblings/main/user/release.scrbl
raco setup: 2 rendering: /racket-index/scribblings/main/user/search.scrbl
raco setup: 1 rendering: /softposit-rkt/softposit-rkt.scrbl
raco setup: 0 rendering: /racket-index/scribblings/main/user/start.scrbl
raco setup: --- installing collections ---
raco setup: --- post-installing collections ---
raco setup: --- summary of errors ---
raco setup: error: during foreign library setup for /softposit-rkt (softposit-rkt)
raco setup: copy-directory/files: encountered path that is neither file nor directory
raco setup: path: /home/ehaines/.racket/7.2/pkgs/softposit-rkt/libsoftposit.so
raco pkg install: packages installed, although setup reported errors