Skip to content

Commit 5231dde

Browse files
authored
flambda-backend: Configure flag to use the 5.x runtime; make the 5.x runtime build (#2004)
* Configure flag to use the 5.x runtime; make the 5.x runtime build * Add flambda2_runtime5 CI job * Add build_upstream_closure_runtime5 job * Fix magic number * Remove --verbose from dune command * Fix st_stubs.c for exception_pointer rename to match 5.x * Expect runtime5 CI jobs to fail * Missed settings of RUNTIME_DIR * Missed settings of RUNTIME_DIR again * Progress towards making the make build work * Continue fixing make build for runtime4 * Expect runtime5 CI jobs to fail - fixing * Expect runtime5 CI jobs to fail - fixing again * CI script debugging
1 parent 7ae4d18 commit 5231dde

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

41 files changed

+501
-475
lines changed

.gitignore

+3
Original file line numberDiff line numberDiff line change
@@ -358,3 +358,6 @@ META
358358
/yacc/.gdb_history
359359

360360
/otherlibs/dynlink/natdynlinkops
361+
362+
dune.runtime_selection
363+

0 commit comments

Comments
 (0)