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 |
|
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 |
|
Kakadu
|
0ccc1c6e7d
|
Minor polishing
Signed-off-by: Kakadu <Kakadu@pm.me>
|
2024-09-05 19:12:39 +03:00 |
|
Kakadu
|
39fa6c2be9
|
dunify in stdlib/regression
Signed-off-by: Kakadu <Kakadu@pm.me>
|
2024-09-05 19:12:39 +03:00 |
|
Kakadu
|
d3d2535f97
|
Minor fixes of minor tools
Signed-off-by: Kakadu <Kakadu@pm.me>
|
2024-09-05 19:12:39 +03:00 |
|
Kakadu
|
f6277da16e
|
Add cram tests in regressin directory
Signed-off-by: Kakadu <Kakadu@pm.me>
|
2024-09-05 19:12:39 +03:00 |
|
Kakadu
|
e471b35ed0
|
More long tests in to separate directory
Signed-off-by: Kakadu <Kakadu@pm.me>
|
2024-09-05 19:12:39 +03:00 |
|
Kakadu
|
d849a2e6c7
|
Cramify tests in regression/deep-expression
Signed-off-by: Kakadu <Kakadu@pm.me>
|
2024-09-05 19:12:38 +03:00 |
|
Kakadu
|
b8d59c0309
|
Cramify tests in regression/expressions
Signed-off-by: Kakadu <Kakadu@pm.me>
|
2024-09-05 19:12:38 +03:00 |
|
Kakadu
|
bd6dd12df3
|
Fix generation of tests for expressions
Signed-off-by: Kakadu <Kakadu@pm.me>
|
2024-09-05 19:12:38 +03:00 |
|
Kakadu
|
a91f4824c4
|
Dunify tutorial
Signed-off-by: Kakadu <Kakadu@pm.me>
|
2024-09-05 19:12:37 +03:00 |
|
Kakadu
|
3f7f51b2f0
|
Handle -march properly
Signed-off-by: Kakadu <Kakadu@pm.me>
|
2024-09-05 19:12:37 +03:00 |
|
Kakadu
|
55d595600d
|
Fix script to generate tests
Signed-off-by: Kakadu <Kakadu@pm.me>
|
2024-09-05 19:12:37 +03:00 |
|
Kakadu
|
e167734a27
|
WIP on dunifying tests
Signed-off-by: Kakadu <Kakadu@pm.me>
|
2024-09-05 19:12:37 +03:00 |
|
Kakadu
|
3a10d4a2a6
|
Stdlib compiles twice
Signed-off-by: Kakadu <Kakadu@pm.me>
|
2024-09-05 19:12:37 +03:00 |
|
Kakadu
|
092d5f2f33
|
WIP on more dune
Signed-off-by: Kakadu <Kakadu@pm.me>
|
2024-09-05 19:12:37 +03:00 |
|
Kakadu
|
6761c1d0ef
|
CI: run install [skip ci]
Signed-off-by: Kakadu <Kakadu@pm.me>
|
2024-09-05 19:12:11 +03:00 |
|
Kakadu
|
538299e781
|
CI: bump version of OCaml to 4.14.2
Signed-off-by: Kakadu <Kakadu@pm.me>
|
2024-09-05 18:48:24 +03:00 |
|