blob: 99a4566cde99b686e4d1f87e0a061b13154c5b93 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
pkgbase = drake-git
pkgdesc = runtime library replacement for gnat
pkgver = r1684.ge8764516
pkgrel = 2
url = https://github.com/ytomino/drake
arch = i686
arch = x86_64
license = MIT
makedepends = git
makedepends = gcc-ada
makedepends = headmaster
provides = drake
conflicts = drake
options = !makeflags
options = staticlibs
source = git+https://github.com/ytomino/drake
sha256sums = SKIP
pkgname = drake-git
|