diff options
-rw-r--r-- | .SRCINFO | 22 | ||||
-rw-r--r-- | PKGBUILD | 66 | ||||
-rw-r--r-- | quint@.service | 17 |
3 files changed, 35 insertions, 70 deletions
@@ -1,16 +1,16 @@ -# Generated by mksrcinfo v8 -# Tue Jun 13 04:00:05 UTC 2017 pkgbase = quint - pkgdesc = Live coding demo for the Raspberry Pi - pkgver = 0.0.1 + pkgdesc = Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions + pkgver = 0.9.0 pkgrel = 1 - url = https://github.com/sirspudd/quint + url = https://github.com/informalsystems/quint arch = any - makedepends = qt-sdk-raspberry-pi - depends = qt-sdk-raspberry-pi-target-libs - options = !strip - source = git://github.com/sirspudd/quint.git - sha256sums = SKIP + license = Apache + makedepends = npm + makedepends = git + depends = nodejs + provides = quint + conflicts = quint + source = https://github.com/informalsystems/quint/archive/refs/tags/v0.9.0.tar.gz + sha256sums = c9b3a077e43bf8959ba26c1498fdb5d5e9caa7fefcd6ba2b157579858cf57bba pkgname = quint - @@ -1,51 +1,33 @@ -# Maintainer: Donald Carr <sirspudd@gmail.com> +# Maintainer: Ranadeep B < mail at rnbguy dot at > -#set -e - -_qmake="qmake" -_piver="" - -if [[ -z $_piver ]] && [[ -n $LOCAL_PI_VER ]]; then - _piver=$LOCAL_PI_VER -fi - -if [[ -n "$_piver" ]]; then - _qmake="/opt/qt-sdk-raspberry-pi${_piver}/bin/qmake" -fi - -pkgname="quint" -pkgver=.0.1 +pkgname=quint +orgname=informalsystems +pkgver=0.9.0 pkgrel=1 -pkgdesc="Live coding demo for the Raspberry Pi" -arch=("any") -url="https://github.com/sirspudd/quint" -makedepends=("qt-sdk-raspberry-pi${_piver}") -depends=("qt-sdk-raspberry-pi-target-libs") -source=("git://github.com/sirspudd/${pkgname}.git") -sha256sums=("SKIP") -options=('!strip') - -pkgver() { - cd ${srcdir}/${pkgname} - git describe --tags | sed 's/\([^-]*-g\)/r\1/;s/-/./g' +pkgdesc="Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions" +arch=('any') +url="https://github.com/${orgname}/${pkgname}" +license=('Apache') +provides=(${pkgname}) +conflicts=(${pkgname}) +depends=('nodejs') +makedepends=('npm' 'git') +source=("https://github.com/${orgname}/${pkgname}/archive/refs/tags/v${pkgver}.tar.gz") +sha256sums=('c9b3a077e43bf8959ba26c1498fdb5d5e9caa7fefcd6ba2b157579858cf57bba') + +prepare() { + cd "${srcdir}/${pkgname}-${pkgver}/${pkgname}" + npm install } build() { - local repo_src=${srcdir}/${pkgname} - - cd ${repo_src} - $_qmake - make + cd "${srcdir}/${pkgname}-${pkgver}/${pkgname}" + npm run compile } package() { - local repo_src=${srcdir}/${pkgname} - local deploy_path=${pkgdir}/opt/${pkgname} - local systemd_deploy_path=${pkgdir}/usr/lib/systemd/system - - mkdir -p $deploy_path - mkdir -p $systemd_deploy_path - - cp ${repo_src}/${pkgname} ${deploy_path} - cp ${startdir}/*.service ${systemd_deploy_path} + cd "${srcdir}/${pkgname}-${pkgver}/${pkgname}" + npm pack + npm install -g --prefix "${pkgdir}/usr" --no-save "${orgname}-${pkgname}-${pkgver}.tgz" + install -Dm644 "${srcdir}/${pkgname}-${pkgver}/LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" } diff --git a/quint@.service b/quint@.service deleted file mode 100644 index 3375d2bf355e..000000000000 --- a/quint@.service +++ /dev/null @@ -1,17 +0,0 @@ -# Forked off xlogin@.service - -[Unit] -Description=quint session for user %i -After=systemd-user-sessions.service -Conflicts=getty@tty7.service - -[Service] -User=%i -WorkingDirectory=~ -TTYPath=/dev/tty7 -PAMName=login -ExecStart=/opt/quint/quint -platform eglfs - -[Install] -WantedBy=graphical.target -Alias=display-manager.service |