akabe / slap

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
http://akabe.github.io/slap/
GNU Lesser General Public License v2.1
88 stars 4 forks source link

Support Lacaml v10 #7

Open akabe opened 6 years ago

akabe commented 6 years ago
Processing  4/4: [slap: rm]
#=== ERROR while installing slap.4.1.0 ========================================#
# opam-version 1.2.2
# os           linux
# command      ocaml setup.ml -build
# path         /home/aabe/.opam/4.04.2/build/slap.4.1.0
# compiler     4.04.2
# exit-code    1
# env-file     /home/aabe/.opam/4.04.2/build/slap.4.1.0/slap-14161-d6abbe.env
# stdout-file  /home/aabe/.opam/4.04.2/build/slap.4.1.0/slap-14161-d6abbe.out
# stderr-file  /home/aabe/.opam/4.04.2/build/slap.4.1.0/slap-14161-d6abbe.err
### stdout ###
# Error: This expression has type
# [...]
#            ?br:int ->
#            ?bc:int ->
#            ?b:Lacaml__S.mat ->
#            ?ar:int -> ?ac:int -> Lacaml__S.mat -> Lacaml__S.mat
#        but an expression was expected of type
#          ?m:int ->
#          ?n:int ->
#          ?br:int -> ?bc:int -> ?b:I.mat -> ?ar:int -> ?ac:int -> I.mat -> 'a
# Command exited with code 2.
### stderr ###
# E: Failure("Command ''/home/aabe/.opam/4.04.2/bin/ocamlbuild' lib/libslap_stubs.a lib/dllslap_stubs.so lib/slap.cma lib/slap.cmxa lib/slap.a lib/slap.cmxs lib/slap_top.cma lib/slap_top.cmxa lib/slap_top.a lib/slap_top.cmxs ppx/slap_ppx.cma ppx/slap_ppx.cmxa ppx/slap_ppx.a ppx/slap_ppx.cmxs ppx/ppx_slap.native -tag debug' terminated with error code 10")
akabe commented 6 years ago

Diff: https://github.com/mmottl/lacaml/compare/v9.3.2...master

UnixJunkie commented 2 years ago

The latest version of lacaml in opam is even 11.0.8 nowadays. I wanted to give a try at slap, but it cannot install without downgrading lacaml.

UnixJunkie commented 2 years ago

slap cannot install with ocaml 4.12 also (opam package constraint).

akabe commented 2 years ago

@UnixJunkie Sorry for late reply. slap is no longer maintained because I think it has low demand.

UnixJunkie commented 2 years ago

Yeah, I fully understand the cost of maintaining software, so I can understand this decision.