just want to use something that has z3 or cvc4/5 from gerbil
https://github.com/Z3Prover/z3/blob/master/examples/c/test_capi.c <--- trivial to port that to our FFI.
FFI to a C library is a lot easier than trying to re-implement Racket enough to run a #lang built on/in Racket that has access to all of Racket itself. Rosette is not a library, it's a programming language.
(guard
(exn
(#t (display 1)))
(raise 1))
It runs fine with
gxi, but I'm getting this error when I try to compile it with gxc:*** ERROR IN gx#core-expand-ref% -- Syntax Error
*** ERROR IN "test.ss"@1.2
--- Syntax Error: Reference to unbound identifier
... form: (%#ref guard)
... detail: guard at "test.ss"@1.2
The exact command I used was
gxc -exe test.ss -o test.
Is this a bug, or did I just do something wrong?
;; guard has rather insane semantics of jumping back when there is no else clause lol
I'd prefer to use try/catch personally. I suppose I'll never be an Rn schemer :)
I think the lack of "normal" .deb's or .rpm's does indeed inhibit our uptake and my attempts, though working, were a real PITA for me. Using Docker is a great approach that I've never thought of. Perhaps I hate docking and prefer sailing but everyone is different :)
1 reply
we could even genarate them in CI in principle
Kinda like the ideal for cross-distro development imo; at least right now
And then 'all you need' is like a mini-guide that's like 5-6 commands, (half of that is to install distrobox and enter a container and the other half is how to build a makepkg) and boom, then just need to make sure like the Aur package is maintained / up to date
Something like:
curl -s https://raw.githubusercontent.com/89luca89/distrobox/main/install | sudo sh
distrobox-create --name gerbil-dev --image archlinux:latest
sudo pacman -S base-devel git gcc
git clone https://aur.archlinux.org/gerbil-scheme
cd gerbil-scheme
makepkg -si
(edited because accidentally copied the uninstall script path not install lool)
But yeah, pretty dang easy. And think it solves this problem as much as reasonably is possible for cmd-line bound programs
Well it also 'solves' gui too, but I'm somewhat partial to flatpaks on that end.
amirouche @amirouche waves hello and try to scroll back.
:mouse2:
wr should make a single package, incl. a gambit, and install in /opt/gerbil
thr workflow would kick on mater pushes, that is every time we merge a pr
any volunteers to help?
we can also limit the workflow on release/nightly tags
bottom line, i think we would really benefit with CI prebuilt binaries
but i want a tarball that works out of the box in any distro
glibc linkage could create incompat issues right?
we could also use a pkgsrc root of /opt to install the very minimal items required to get gerbil-scheme bootstrapped and compiled
i want /opt rooted packaging
but yeah, glibc could be an issue