summarylogtreecommitdiffstats
path: root/.SRCINFO
blob: 8ba1b7bfcd130db5f8c54da2be8d9924ca27e84e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
pkgbase = spark2014-git
	pkgdesc = Formally defined programming language based on Ada (GNAT FSF version)
	pkgver = 0.3.draft.r23092.g3e6f33a5e9
	pkgrel = 1
	url = https://www.spark-2014.org
	arch = x86_64
	license = GPL
	makedepends = git
	makedepends = gprbuild
	makedepends = coq
	makedepends = gnatcoll-core
	makedepends = gprbuild
	makedepends = ocaml-num
	makedepends = ocaml-menhir
	makedepends = ocaml-ocamlgraph
	makedepends = ocaml-zarith
	makedepends = ocaml-camlzip
	makedepends = ocaml-ocplib-simplex-git
	makedepends = ocaml-yojson
	makedepends = python-sphinx
	makedepends = python-sphinx_rtd_theme
	depends = python
	optdepends = alt-ergo: alternative prover
	optdepends = z3: alternative prover
	optdepends = cvc4: alternative prover
	provides = spark2014
	conflicts = spark2014
	options = !makeflags
	source = git+https://github.com/AdaCore/spark2014#branch=fsf
	source = why3-adacore::git+https://github.com/AdaCore/why3
	source = git+https://github.com/gcc-mirror/gcc
	source = makefile-fixes.patch
	source = build-flags.patch
	sha256sums = SKIP
	sha256sums = SKIP
	sha256sums = SKIP
	sha256sums = 4ba7b439be23cde5612f743fd552774f43312fdfacd64fb0c98b9b6a9f78f6b2
	sha256sums = 55d433193028ffce792e622eb54d9f206c441e1bdecb9492ccfef04843e62142

pkgname = spark2014-git