Unhandled exception: Bytecode validation error at offset 150, instruction 24:
out of range SC index 56283
at <unknown>:1 (src/vm/moar/stage0/ModuleLoader.moarvm:<load>)
from <unknown>:1 (src/vm/moar/stage0/nqp.moarvm:<dependencies+deserialize>)
fixed:
starting from 5.x, mono uses the csc (rosyln) compiler by default,
instead of mcs and csc is completely broken on OpenBSD for now, however
mcs can be used to build mono itself and other code as well.
there is an ongoing effort to fix this so i am commiting this so
that it is easier to work on it
Tweaks and ok bcallah@
clazy is a compiler plugin which allows clang to understand Qt semantics.
You get more than 50 Qt related compiler warnings, ranging from unneeded memory
allocations to misusage of API, including fix-its for automatic refactoring.
ok rsadowski@
This is divided into two sub-ports, driver which is a modified clang that
provides the flang command, and flang which provides the compiler passes.
Executing 'pkg_add flang' will get you everything you need.
Use either -rdynamic or -Wl,--export-dynamic so that both clang and gcc
do the right thing. sbcl and squeak did not seem affected, gnaughty was
probably broken since it uses libglade that kinda requires this ld(1)
flag.
Typical warning in logs:
paths/lang/squeak/vm.log:4328:cc: warning: argument unused during compilation: '-e xport-dynamic' [-Wunused-command-line-argument]
Stop building/installing unneeded libs.
Patch Tcl's Makefile to install the license file instead of using
a post-install target since the Makefile gets patched anyway.
Fix paths not being added to the module path list in safe interps.
Tcl bug [eb268f246f].
Spin is a software verification tool for analyzing the consistency of
asynchronous systems. Examples of asynchronous systems include multi-threaded
programs, distributed systems, and communications protocols. Spin takes a
system model specified in Promela (the PROcess MEta LAnguage). It also takes
a specifciation of the requirements for logical correctness, and allows both
interactive and exhaustive simulations of the system for verifying these
properties.
Submission by Ori Bernstein <ori@eigenstate.org>
OK bcallah@