Skip to content

Commit 41bf660

Browse files
committed
Move test file into opam package
1 parent 930d908 commit 41bf660

File tree

2 files changed

+2
-5
lines changed

2 files changed

+2
-5
lines changed

packages/conf-flint/conf-flint.3.0/files/test.c

Lines changed: 0 additions & 5 deletions
This file was deleted.

packages/conf-flint/conf-flint.3.0/opam

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ homepage: "http://flint.org"
44
bug-reports: "https://github.com/flintlib/flint2.git"
55
license: "LGPL-2.1-only"
66
build: [
7+
["sh" "-exc" "echo \"#include <flint/flint.h>\\n#if __FLINT_VERSION < 3\\n#error \\\"Flint (>= 3.0) is not accessible\\\"\\n#endif\" > test.c"]
78
["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"] {os != "macos" & os != "win32"}
89
[
910
"sh"
@@ -28,6 +29,7 @@ depexts: [
2829
["flint-devel"] {os-family = "suse"}
2930
["libflint-devel"] {os = "win32" & os-distribution = "cygwinports"}
3031
["flint"] {os-distribution = "nixos"}
32+
["flint"] {os-distribution = "arch"}
3133
]
3234
synopsis: "Virtual package relying on a Flint lib system installation"
3335
description:

0 commit comments

Comments
 (0)