Commit graph

825 commits

Author SHA1 Message Date
Danya Berezun
51d447ac87 upd 2025-02-28 11:40:25 +01:00
danyaberezun
1d8d7c4203
Merge pull request #31 from e2e4b6b7/1.30
Fixes of x86_64 compiler
2025-02-28 12:06:36 +02:00
Danya Berezun
60dd8cfc8d fix deps 2025-02-27 23:44:30 +01:00
Danya Berezun
90ce892125 fix deps 2025-02-27 23:39:06 +01:00
Danya Berezun
9ee38a3263 try fix dune regression 2025-02-27 22:59:22 +01:00
Danya Berezun
915f7149fc run regressio tests 2025-02-27 22:48:08 +01:00
Danya Berezun
c9222fa070 return make regression 2025-02-27 22:33:35 +01:00
Kakadu
46f5e43cee Fixup
Signed-off-by: Kakadu <Kakadu@pm.me>
2025-02-28 00:17:43 +03:00
Kakadu
ba9c32f38a Fixup
Signed-off-by: Kakadu <Kakadu@pm.me>
2025-02-28 00:00:54 +03:00
Kakadu
0aba2a2a01 Trying to detect mac right
Signed-off-by: Kakadu <Kakadu@pm.me>
2025-02-27 23:55:37 +03:00
Kakadu
fa030b8bd3 Forgotten depdenecy
Signed-off-by: Kakadu <Kakadu@pm.me>
2025-02-27 23:42:19 +03:00
Kakadu
259b52bb83 Add mac-specific flags to compile byterun on Darwin
Signed-off-by: Kakadu <Kakadu@pm.me>
2025-02-27 23:35:42 +03:00
Kakadu
57a4bafb9a Fix compilation in performance/
Signed-off-by: Kakadu <Kakadu@pm.me>
2025-02-27 23:15:28 +03:00
Kakadu
b8d59864f0 Fix linking with runtime in performance/
Signed-off-by: Kakadu <Kakadu@pm.me>
2025-02-27 23:06:22 +03:00
Danya Berezun
5814b3f90a lapce fix 2025-02-27 20:59:10 +01:00
Kakadu
b55a3c80b6 Fix compilation in performance/
Signed-off-by: Kakadu <Kakadu@pm.me>
2025-02-27 22:52:14 +03:00
Kakadu
c9cd55d173 Use malloc from <stdlib.h>
Signed-off-by: Kakadu <Kakadu@pm.me>
2025-02-27 22:52:02 +03:00
Kakadu
72b67ed632 Fixup CI
Signed-off-by: Kakadu <Kakadu@pm.me>
2025-02-27 22:41:51 +03:00
Kakadu
2362bd8f95 Delete runtime32 on Mac
Signed-off-by: Kakadu <Kakadu@pm.me>
2025-02-27 22:35:55 +03:00
Kakadu
2174be819e Debugging MacOS build
Signed-off-by: Kakadu <Kakadu@pm.me>
2025-02-25 17:41:09 +03:00
Kakadu
63486f5f38 stdlib/regression: disable 32bit test on non-linux
Trying to fix Mac build....

Signed-off-by: Kakadu <Kakadu@pm.me>
2025-02-25 17:19:54 +03:00
Kakadu
a41c65413a Silence a few warnings in X86_32
Signed-off-by: Kakadu <Kakadu@pm.me>
2025-02-02 00:34:20 +03:00
Kakadu
a3d77ad095 [ci] Trying to add gcc multilib dependecies
Signed-off-by: Kakadu <Kakadu@pm.me>
2025-02-02 00:16:04 +03:00
Dmitry Boulytchev
ddb45a496f Added queue to stdlib 2025-01-31 00:02:40 +03:00
Kakadu
ae4d66df48 [tests] Repair tests in stdlib/regression
I was failing because leftover grep command that
filters out a warning about '.note.GNU-stack'
(No idea where it was fixed)

Signed-off-by: Kakadu <Kakadu@pm.me>
2025-01-09 10:35:26 +01:00
Roman Venediktov
bdd64b081b Removed ld warning 2025-01-05 10:51:40 +01:00
Roman Venediktov
2dad84df22 Prohibit indirect assignments 2025-01-05 10:47:18 +01:00
Roman Venediktov
cfe325b121 Fixed movement of large constants 2025-01-05 10:47:18 +01:00
Roman Venediktov
4fdbb18843 Added failing if assembly compiler failed 2025-01-05 10:47:18 +01:00
Roman Venediktov
a4e297648c Fixed placement of arguments for ".match_failure" call 2025-01-05 10:47:18 +01:00
Roman Venediktov
6e5315646a Added fail in case of indirect assignment into register 2025-01-05 10:47:18 +01:00
Roman Venediktov
cec4ef252a Fixed improper STA usage 2025-01-05 10:47:18 +01:00
Roman Venediktov
b8e5cfeb7b Fixed \r escaping 2025-01-05 10:47:18 +01:00
Dmitry Boulytchev
4cb462c2a8 Merge branch '1.30' of github.com:JetBrains-Research/Lama into 1.30 2024-11-15 23:32:18 +03:00
Dmitry Boulytchev
b91ac1b610 opam changed 2024-11-15 23:22:30 +03:00
Kakadu
5dfd0a3b43 Repair tests in regression
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-11-15 21:51:22 +03:00
Kakadu
c3cc26c0d3 Promote many regression tests
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-11-15 21:45:36 +03:00
Kakadu
708022fbd2 Repair tests in stdlib/regression
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-11-15 21:28:01 +03:00
Dmitry Boulytchev
81d1e710ec Merged src/dune 2024-11-15 20:40:30 +03:00
Dmitry Boulytchev
751f55691c Dune fix 2024-11-15 20:39:00 +03:00
Dmitry Boulytchev
bf74ca7acb
Merge pull request #29 from deker104/fix/build-files
Update build files to install standard library
2024-11-12 21:30:17 +03:00
deker104
91b18d023b fix: update build files
Add `install` stanza to `dune` files to install std and runtime to
expected directories

Delete manual copying from `install` scenario in `Makefile`
2024-11-12 07:43:17 +00:00
Kakadu
5da0273afa Add space after 'Version'
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-11-01 22:22:43 +03:00
Dmitry Boulytchev
09810470fc Fixed paths 2024-11-01 22:16:30 +03:00
Kakadu
0553fc764d Repair uninstall command
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-11-01 22:09:26 +03:00
Dmitry Boulytchev
d836301dd7
Merge pull request #28 from PLTools/more-dune
More dune
2024-09-13 03:34:06 +03:00
Kakadu
cd033ddbe3 Fixing mac build: negating Darwin ~~> OKaying linux
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 23:39:33 +03:00
Kakadu
8a8fc3432b Disable x32 when os_type = Darwin
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 23:38:34 +03:00
Kakadu
59273f734e Fix Makefile
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:36:55 +03:00
Kakadu
cee8955ca5 Improve opam file
Signed-off-by: Kakadu <Kakadu@pm.me>
2024-09-05 19:12:39 +03:00