Anarchos

Haiku

3

Condition de compilation sur Haiku [(www.haiku-os.org)](www.haiku-os.org)

Adding support for native dynlink on x64_haiku

1

- Adding support for native dynlink on x64_haiku - Adding OS constants for BeOS family.

Minimal setup to compile on Haiku for the main branch.

B_FIND_PATH_DEVELOP_HEADERS_DIRECTORY : bad expansion

1

B_FIND_PATH_DEVELOP_HEADERS_DIRECTORY expands to /system/boot/system/... in the Makefile. platform is Haiku hrev55344 x86_64

A port to [Haiku](www.haiku-os.org) on x86_64 with the SDL backend.

Any chance to see gtksourceview4 in a lablgtk4 package ?

3

Rationale : HaikuOS gets only [gtksourceview-4.8.4](https://github.com/haikuports/haikuports/blob/master/x11-libs/gtksourceview/gtksourceview-4.8.4.recipe). The lack of gtksourceview3 prevents to install coqide and compcert on this platform. I already tricked coq to use this gtksourceview-4 as it was...

Blog post about compiling compcert and coq

fix(haiku): execve not allowed if other pthreads have already been created

5

Compiling for Haiku

in case MAP_FILE is absent, which is the case on Haiku

Autoreload (watch on path)

6

Watch on path instead of node (except when storing attributes) rationale : when vim modifies a file it creates a new file then rename it. So inode moves, and watching...