Nikolaj Bjorner
|
30b4fe69e4
|
2nd attempt to use uniform java library location under bin #7406
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-09-30 10:05:09 -07:00 |
|
Nikolaj Bjorner
|
b65afd41ed
|
attempt to use uniform java library location under bin #7406
|
2024-09-30 08:58:21 -07:00 |
|
Nikolaj Bjorner
|
937d4aa8f4
|
move files from lib and java directory to bin
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-06 12:40:30 -08:00 |
|
Nikolaj Bjorner
|
f4474a3edb
|
typo
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-04 20:30:56 -08:00 |
|
Nikolaj Bjorner
|
446a9dec08
|
distinguish vs-arch from arch identifier
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-04 19:26:50 -08:00 |
|
Nikolaj Bjorner
|
e295ac93af
|
update build-win-signed-cmake
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-03 11:46:11 -08:00 |
|
Nikolaj Bjorner
|
bd082ab653
|
update mk-win-dist-cmake
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-02 16:33:27 -08:00 |
|
Nikolaj Bjorner
|
14fb235dd8
|
update mk-win-dist-cmake
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-02-02 16:16:19 -08:00 |
|
Nikolaj Bjorner
|
f81180173b
|
remove optional Julia build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-01-30 14:41:10 -08:00 |
|
Nikolaj Bjorner
|
b3b95dbc5c
|
move installation directories to under bin
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-01-30 11:06:27 -08:00 |
|
Nikolaj Bjorner
|
9bd8e35581
|
adapt paths to new distribution
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-01-30 10:07:38 -08:00 |
|
Nikolaj Bjorner
|
f7ed4adfbb
|
update path for win distributions
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-01-29 19:47:05 -08:00 |
|
Nikolaj Bjorner
|
bef67f8523
|
special purpose dotnet copy
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-01-29 19:32:31 -08:00 |
|
Nikolaj Bjorner
|
4be8b7d88c
|
update win-dist
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-01-29 18:47:29 -08:00 |
|
Nikolaj Bjorner
|
527f824adf
|
update java install/build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-01-25 15:07:54 -08:00 |
|
Nikolaj Bjorner
|
c8c2e3a7b7
|
update java install/build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-01-25 15:05:33 -08:00 |
|
Nikolaj Bjorner
|
637ffcd491
|
Update mk_win_dist_cmake.py
|
2024-01-25 12:23:15 -08:00 |
|
Nikolaj Bjorner
|
9d59d86a1c
|
update cmake build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-01-25 09:42:28 -08:00 |
|
Nikolaj Bjorner
|
ee2be7d642
|
attempting to build ARM
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2024-01-25 08:41:37 -08:00 |
|