How often does it actually matter to get an rpm for a specific version of a distro? Lots of software promises to, and general does, work on every rpm-based distro and just gives one rpm for itself. Other give seperate rpms for Fedora 27, 26, 25, Suse, CentOS, RHEL, etc.
@Dennis By the way, F* requires a few system packages from dnf that opam won't install for you, specifically gmp-devel, m4, and perl-Pod-Html. Personally, I didn't have perl-Pod-Html.
@Dennis My cube solver needs to generate some cache files. Is there somewhere on TIO's filesystem it can write to without them being deleted each time Cubically finishes?
@MDXF In a way. After running the Cubically interpreter with whatever programs you tell me to (preferably via make cache), I'd move the cache to /opt/cubically and copy or symlink it in the Cubically wrapper.
Also, this has nothing to do with TIO, but the "right" location for a cache is ~/.cache.
@Pavel The sandbox doesn't have access to the real /tmp.
Issue is, trying to mkdir("~/cache/cubically") in C will make a new directory called ~ in the current directory. IIRC.
Additionally trying to mkdir("/var/cache/cubically") requires sudoer privileges... this is proving rather difficult. How hard would it be for you to set it up so that virtually every time Cubically is run it accesses /tmp/cubically-cache? @Dennis
@MDXF Yes, a system-wide cache is a bad idea for an esolang, because it shouldn't require root privileges. Using ~/.cache (don't forget the dot) should be easy enough with getenv("HOME"), but I only suggested this for the sake of the Cubically interpreter interpreter itself.
/tmp/cubically-cache works well enough, but it gets cleared between reboots, and you'll have issues if two accounts try to use Cubically on the same system. For TIO, since I have to move around the cache dir anyway, it doesn't matter where is has to go, as long as it's a subdirectory of ~ or /tmp.
@MartinEnder I don't, but looks like somebody cleared it up. Thanks for the link. :)
talk.tryitonline.net
talk.tryitonline.net