Samuel Pocino

low hanging fruit ig

*nix installation has no pkg-config file

1

I fixed this on my system by adding a `freetype-gl.pc` file to `/usr/share/pkgconfig`. The file contains ``` prefix=/usr/local exec_prefix=${prefix} libdir=${exec_prefix}/lib includedir=${exec_prefix}/include Name: freetype-gl Description: Displays text in opengl Version: 0.1.0...

Error compiling with "cargo bootimage"

1

When trying to compile a project using bootimage, I get an error as such: ``` Error: An error occured while trying to build the bootloader: The `bootloader` dependency has not...

chez bootstrap requires large amount of memory

8

I am trying to build on a system with 6GB of ram, and I'm consistently OOM on the bootstrapping step for building `Idris2-boot` from `Idris2-boot.so`. Is there some way to...

Failed to link to librt.so.1 on linux

4

Got this error at runtime: ``` 2: ERROR 2: [Client] 1: rendering faulted with System.DllNotFoundException: Unable to load shared library 'librt' or one of its dependencies. In order to help...

Comonad has Monoid function instance to match instance for Semigroups in Control.Extend

check if a linux implementation uses glibc to decide whether to load "glibc.so.6" or "glibc.so"