idris-bayes / melocule

Probabilistic music composition in Idris2
BSD 3-Clause "New" or "Revised" License
15 stars 0 forks source link

Unable to make on Void Linux #4

Open ShaolunWang opened 2 years ago

ShaolunWang commented 2 years ago

Machine: Void linux x86_64 with glibc Issue: libgsl undefined symbol: cblas_ctrmv

Log:

pack install-deps melocule.ipkg
[ info ] Found local config at /home/me/code/idris/melocule/pack.toml
[ info ] Using package collection nightly-220921
pack exec Examples/TwoFive.idr "out/251.mid"
Warning: compiling hole Sound.Midi.Serialise.unimpl_serMetaEvent_sequencerNr
Warning: compiling hole Sound.Midi.Serialise.unimpl_serMetaEvent_SequencerME
Warning: compiling hole Sound.Midi.Serialise.unimpl_serMetaEvent_SMPTE
Warning: compiling hole Sound.Midi.Serialise.unimpl_serEvent_sysEx
Warning: compiling hole Sound.Midi.Serialise.padList_too_large
Exception: (while loading libgsl.so) /usr/lib64/libgsl.so: undefined symbol: cblas_ctrmv
Error when executing system command.
Command:  build/exec/_tmppack out/251.mid
Error code: 255
make: *** [Makefile:18: twofive] Error 1
jacobjwalters commented 2 years ago

Could you run gsl-config --version and post the output?

ShaolunWang commented 2 years ago
> gsl-config --version   
2.7.1