Merge pull request #8804 from suvari/master

index for new package: z3
2020-10-09 17:55:44 +03:00
parent 9bd2a0d9bf cfc3b4f3ce
commit ef4e731c43
5 changed files with 253828 additions and 253709 deletions
@@ -1 +1 @@
-1a0332e961164489be8370f71417f17d8af7de37
+4f01661c68071ca4349422c210917f6c638e3609
@@ -1 +1 @@
-a928ba011ffeb9d6c8aa1b18207cda51d81c10bf
+dfcc6427a9b648d1605dbb1b4ae87ea43c7625fa
@@ -19,8 +19,8 @@
 		<BuildDependencies>
 			<Dependency>cmake</Dependency>
 			<Dependency>ninja</Dependency>
-			<Dependency>python3</Dependency>
 			<Dependency>gmp-devel</Dependency>
+			<Dependency>python3-devel</Dependency>
 			<Dependency>python3-setuptools</Dependency>
 		</BuildDependencies>
 	</Source>
@@ -58,6 +58,7 @@
 		</RuntimeDependencies>
 		<Files>
 			<Path fileType="header">/usr/include</Path>
+            <Path fileType="library">/usr/lib/pkgconfig</Path>
 		</Files>
 	</Package>

@@ -71,4 +72,3 @@
 		</Update>
 	</History>
 </PISI>
-