pool/stp
SHA256
17
0
Fork 2
Code Issues Pull Requests Activity

Compare commits

merge into: pool:leap-16.0
Branches Tags
pool:factory pool:leap-16.0 pool:leap-16.1
...
pull from: pool:factory
Branches Tags
pool:leap-16.0 pool:leap-16.1 pool:factory

5 Commits
leap-16.0 ... factory

Author SHA256 Message Date
Ana Guerrero
6033f7a05f Accepting request 1267368 from devel:tools:statica 
- Update to version 2.3.4+20240918:
  * Added dummy diagnostic-output-channel support
  * Make timestamp in generated file use $SOURCE_DATE_EPOCH
  * Use sysconfig, not distutils, to find python root
  * Move to CMS @ 5.11.22
  * Bump CMS revision to b735c94

- Add missing BuildRequires python3-setuptools

OBS-URL: https://build.opensuse.org/request/show/1267368
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/stp?expand=0&rev=18
 2025-04-07 15:37:24 +00:00
Ana Guerrero
cce9ab22a3 Accepting request 1251979 from devel:tools:statica 
OBS-URL: https://build.opensuse.org/request/show/1251979
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/stp?expand=0&rev=17
 2025-03-11 19:45:28 +00:00
Jiri Slaby
b72005e410 Accepting request 1251753 from home:mgrossu:branches:devel:tools:statica 
- Add missing BuildRequires python3-setuptools to fix Factory

OBS-URL: https://build.opensuse.org/request/show/1251753
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/stp?expand=0&rev=52
 2025-03-11 08:30:22 +00:00
Ana Guerrero
1ee0d73974 Accepting request 1185725 from devel:tools:statica 
Automatic submission by obs-autosubmit

OBS-URL: https://build.opensuse.org/request/show/1185725
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/stp?expand=0&rev=16
 2024-07-05 17:50:30 +00:00
Jiri Slaby
1c234affce up to 2.3.4+20240611 
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/stp?expand=0&rev=50
 2024-06-28 06:18:16 +00:00
9 changed files with 49 additions and 9 deletions
Expand all files Collapse all files

3
_scmsync.obsinfo Normal file
View File

@@ -0,0 +1,3 @@
mtime: 1743923877
commit: aa66c46915db6bf07a869588e5115fb2b30d65883e9666b60f7ea1063b8bd57b
url: https://src.opensuse.org/jirislaby/d-t-s-stp.git

1
_service
View File

@@ -3,6 +3,7 @@
<param name="url">https://github.com/stp/stp</param>
<param name="scm">git</param>
<param name="filename">stp</param>
<param name="revision">2e31fe7f1e6db59f8dce1666ce6d932df7ccf4e9</param>
<param name="changesgenerate">enable</param>
<param name="versionformat">@PARENT_TAG@+%cd</param>
<param name="match-tag">[0-9]*</param>

2
_servicedata
View File

@@ -1,4 +1,4 @@
<servicedata>
<service name="tar_scm">
<param name="url">https://github.com/stp/stp</param>
<param name="changesrevision">0510509a85b6823278211891cbb274022340fa5c</param></service></servicedata>
<param name="changesrevision">2e31fe7f1e6db59f8dce1666ce6d932df7ccf4e9</param></service></servicedata>

3
build.specials.obscpio Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:e875c33f4fd4338521d2a6ad1bf1152866b91bec1e68ee69c468273bcd6924b0
size 256

3
stp-2.3.3+20231214.obscpio
View File

@@ -1,3 +0,0 @@
version https://git-lfs.github.com/spec/v1
oid sha256:4cf5899303f95a25c6b07a7d3ed76a7573dd45f878f10be23cb1e3b5eb82f0e4
size 9738765

BIN
stp-2.3.4+20240918.obscpio LFS Normal file
View File

Binary file not shown.

31
stp.changes
View File

@@ -1,3 +1,34 @@
-------------------------------------------------------------------
Fri Mar 28 06:58:48 UTC 2025 - jslaby@suse.cz
- Update to version 2.3.4+20240918:
* Added dummy diagnostic-output-channel support
* Make timestamp in generated file use $SOURCE_DATE_EPOCH
* Use sysconfig, not distutils, to find python root
* Move to CMS @ 5.11.22
* Bump CMS revision to b735c94
-------------------------------------------------------------------
Mon Mar 10 10:26:08 UTC 2025 - Marius Grossu <marius.grossu@suse.com>
- Add missing BuildRequires python3-setuptools
-------------------------------------------------------------------
Fri Jun 28 06:06:35 UTC 2024 - jslaby@suse.cz
- Update to version 2.3.4+20240611:
* use simple CNF encoding when simplifications are disabled
* Update ci.yml -- oops fix.
* Update ci.yml - hack to stop mystery failure.
* Allow it to more naturally create >64-bit constants
* Return >64 bit values properly
* fix CMS version. Disable CMS assertions
* Add new GMP dependency to dockerfile
* Get the current lastest CMS when building
* Add that we require GMP
* get later version to fix compiler error
* Install cadiback dependency (#482)
-------------------------------------------------------------------
Thu Feb 22 08:05:19 UTC 2024 - jslaby@suse.cz

6
stp.obsinfo
View File

@@ -1,4 +1,4 @@
name: stp
version: 2.3.3+20231214
mtime: 1702477235
commit: 0510509a85b6823278211891cbb274022340fa5c
version: 2.3.4+20240918
mtime: 1726687946
commit: 2e31fe7f1e6db59f8dce1666ce6d932df7ccf4e9

6
stp.spec
View File

@@ -1,7 +1,7 @@
#
# spec file for package stp
#
# Copyright (c) 2024 SUSE LLC
# Copyright (c) 2025 SUSE LLC
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@@ -18,7 +18,7 @@
%define sover 2_3
Name: stp
Version: 2.3.3+20231214
Version: 2.3.4+20240918
Release: 0
Summary: Constraint Solver
License: MIT
@@ -30,10 +30,12 @@ BuildRequires: bison
BuildRequires: cmake
BuildRequires: flex
BuildRequires: gcc-c++
BuildRequires: gmp-devel
BuildRequires: libboost_program_options-devel
BuildRequires: minisat-devel
BuildRequires: ninja
BuildRequires: python3-base
BuildRequires: python3-setuptools
BuildRequires: xz
%description