diff options
| author | falkecarlsen | 2024-03-05 16:21:46 +0100 |
|---|---|---|
| committer | falkecarlsen | 2024-03-05 16:21:46 +0100 |
| commit | bf99bd565be99dca1226f9f3ef7ff534398f7e04 (patch) | |
| tree | 536300e3192e468e5a136b3b2ac7743391601a63 | |
| parent | 0baf9aad1ead8eb0a2d1f5b7dd9cfa41216ce65f (diff) | |
| download | aur-bf99bd565be99dca1226f9f3ef7ff534398f7e04.tar.gz | |
fix nonsensical debug package creation
| -rw-r--r-- | .SRCINFO | 4 | ||||
| -rw-r--r-- | PKGBUILD | 7 |
2 files changed, 7 insertions, 4 deletions
@@ -1,7 +1,7 @@ pkgbase = uppaal pkgdesc = Verify timed automata models and learn strategies. pkgver = 5.0.0 - pkgrel = 1 + pkgrel = 2 url = https://uppaal.org/ arch = any license = custom @@ -10,6 +10,8 @@ pkgbase = uppaal depends = xdg-utils provides = uppaal-5.0.0 noextract = uppaal-5.0.0-linux64.zip + options = debug + options = !strip source = https://download.uppaal.org/uppaal-5.0/uppaal-5.0.0/uppaal-5.0.0-linux64.zip sha512sums = e7fceddd699ebbe1a0120209bbe59fe7ef61b0c3b671bc453028e46e68310c3e96e3c5be7d9aec8cd5c85d065b3a4c7d6f9c68e7e5578d410efec7a6d9407543 @@ -3,9 +3,10 @@ pkgname=uppaal pkgver=5.0.0 -pkgrel=1 +pkgrel=2 pkgdesc="Verify timed automata models and learn strategies." arch=('any') +options=(debug !strip) url="https://uppaal.org/" license=('custom') depends=('jre17-openjdk' 'xdg-utils') @@ -32,9 +33,9 @@ Encoding=UTF-8 Version=1.0 Type=Application GenericName=Model Checker ${pkgver} -Name=UPPAAL 5.0.0 +Name=UPPAAL ${pkgver} Comment=Verify timed automata models and learn strategies -Exec=${prefix}/usr/bin/uppaal %u +Exec=${prefix}/usr/bin/${pkgname} %u Icon=uppaal-icon Categories=Application;Science;Math;Education;Development;IDE Terminal=false |