Nikolaj Bjorner
9a8ff74924
update version number and release notes
2024-09-27 17:49:05 +01:00
Nikolaj Bjorner
f4452a0348
pypi publish
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-09-26 21:34:55 +01:00
Nikolaj Bjorner
649c36aa03
align nightly and release yamls
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-09-26 13:59:17 +01:00
Nikolaj Bjorner
8d831a1adf
set to macos latest
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-09-26 11:22:18 +01:00
Nikolaj Bjorner
b39bcd6a42
remove ubuntu20
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-09-26 11:20:54 +01:00
Nikolaj Bjorner
ebdb0374ec
fix indent
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-09-26 11:01:59 +01:00
Nikolaj Bjorner
c690279912
skip pypi publish during dry run
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-09-26 10:03:02 +01:00
Nikolaj Bjorner
82eb18674b
remove ubuntu build 20 from nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-09-25 10:40:03 +01:00
Nikolaj Bjorner
1121815439
Standardize C++20 flag across different platforms in build script
2024-09-22 21:45:10 +01:00
Nikolaj Bjorner
1e580a7f12
update to c++20, remove debug output
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-09-22 21:30:44 +01:00
Audrey Dutcher
0837e3b8e8
Fix nightly ( #7365 )
...
- add some logic to setup.py to handle cross platform tagging correctly
this adds a dependency on setuptools>=70
- rearrange the nightly CI to use these new builds correctly
2024-09-03 16:11:42 -07:00
Nikolaj Bjorner
84b2c2185c
Update nightly.yaml for Azure Pipelines
2024-08-29 17:10:36 -07:00
Nikolaj Bjorner
dcdb7c4506
wheelhouse
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-08-29 11:34:47 -07:00
Nikolaj Bjorner
96417d4d47
Update nightly.yaml
...
disable signing options
2024-08-29 10:43:31 -07:00
Nikolaj Bjorner
59853d070b
Update nightly.yaml
...
create build artifacts
2024-08-29 10:41:03 -07:00
Nikolaj Bjorner
c79477a939
update nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-08-28 17:41:49 -07:00
Nikolaj Bjorner
f6dbaee6ce
adding to nightly
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-08-27 17:17:53 -07:00
Nikolaj Bjorner
c137ef7fba
disable publish and signing
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-06-20 11:10:55 -07:00
Nikolaj Bjorner
abea0b724c
disable publish and signing
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-06-20 09:43:26 -07:00
Nikolaj Bjorner
b5c3a6a2e0
skip signing
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-06-19 18:28:07 -07:00
Nikolaj Bjorner
4ca59c51cb
update to macOS-latest
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-06-19 17:25:56 -07:00
Nikolaj Bjorner
2654d80aaf
revert nightly to 2_28 manylinux
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-06-19 16:19:48 -07:00
Nikolaj Bjorner
c0b4d02ae2
update containers for Python, first steps to address #7232
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-06-17 08:06:21 -07:00
Christoph M. Wintersteiger
80642e5a7c
Add check for libatomic requirement to Python build system ( #7184 )
...
* Add check for libatomic requirement to Python build system
* More thorough check
* Fix typos
2024-03-23 11:38:14 -07:00
Nikolaj Bjorner
648e05754c
#7178 copy build tool chains used for manylinux arm64 into ubuntu builds
...
alternatively, just remove ubuntuArm64 and use the many-linux builds for Arm64?
2024-03-21 09:40:50 -07:00
Nikolaj Bjorner
27a9b8bd03
fix project minor version
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-03-20 21:32:18 -07:00
Nikolaj Bjorner
a4ecaf1ff5
increment version number
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-03-07 11:22:08 -08:00
Nikolaj Bjorner
3049f578a8
add download of Arm64 to python packaging
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-03-07 10:25:16 -08:00
Steven Moy
7b7084d373
Add LinuxBuildsArm64 to python wheels in release ( #7155 )
2024-03-07 09:11:47 -08:00
Steven Moy
e873664fe8
Downgrade arm cross compile toolchain to glibc 2.34 ( #7153 )
2024-03-06 20:14:06 -08:00
Nikolaj Bjorner
364da19122
remove test
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-03-06 13:54:28 -08:00
Steven Moy
aad8cbdd9d
Add LinuxBuildsArm64 ci azure-pipelines for testing ( #7152 )
2024-03-06 13:21:17 -08:00
Steven Moy
017367d7af
Handle cross compile within manylinux ( #7150 )
2024-03-06 08:27:04 -08:00
Nikolaj Bjorner
cfa6bd4534
update python build dependencies
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-03-05 12:28:30 -08:00
Nikolaj Bjorner
10687082f1
Revert "For many linux build, use aarch64 instead of arm64 ( #7147 )" ( #7148 )
...
This reverts commit 7694bca5f4
.
2024-03-05 12:25:31 -08:00
Steven Moy
7694bca5f4
For many linux build, use aarch64 instead of arm64 ( #7147 )
2024-03-05 11:27:43 -08:00
Steven Moy
4050a43f2f
Add arm64 for linux python wheels to nightly ( #7145 )
2024-03-04 17:28:50 -08:00
John Fleisher
2880ea3971
convert formatting tabs to spaces ( #7140 )
...
* Update nightly.yaml for Azure Pipelines
match nightly builds to release builds
* Fix nightly.yaml
* fix indent
* fix indent
* convert tabs to spaces for proper formatting in yaml
2024-02-26 09:06:28 -08:00
Nikolaj Bjorner
c67200ef72
update versions
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-26 08:28:18 -08:00
Nikolaj Bjorner
fa2c0e0278
enable release publish
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-24 14:35:07 -08:00
John Fleisher
85425a6e08
Update nightly.yaml for Azure Pipelines ( #7139 )
...
* Update nightly.yaml for Azure Pipelines
match nightly builds to release builds
* Fix nightly.yaml
* fix indent
* fix indent
* Update nightly.yaml
* Update nightly.yaml
* Update nightly.yaml for Azure Pipelines
* Update nightly.yaml for Azure Pipelines
---------
Co-authored-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-24 02:13:35 -08:00
Nikolaj Bjorner
785f71b1a6
prepare for 12.6
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-21 19:35:24 -08: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
548b9d091f
move libz3.so from lib to bin, remove lib from distribution
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-04 18:23:46 -08:00
Nikolaj Bjorner
a2fa4ff1bc
update assembly names
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-03 16:52:20 -08:00
Nikolaj Bjorner
c9267055c2
update assembly names
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-03 16:14:03 -08:00
Nikolaj Bjorner
b9bec1861a
copy over dotnet files
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-03 16:08:31 -08:00
Nikolaj Bjorner
24ffef8ac5
fix typo
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2024-02-03 12:26:27 -08:00