first commit

2 files changed, 57 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..51ee3954eea2
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,14 @@
+pkgbase = bluespec-bdw-git
+	pkgdesc = Bluespec Workstation (BDW)
+	pkgver = r11.5b61fa8
+	pkgrel = 1
+	url = https://github.com/B-Lang-org/bdw
+	arch = x86_64
+	license = BSD
+	makedepends = git
+	depends = bluespec-git
+	depends = tk-itk3
+	source = git+https://github.com/b-lang-org/bdw.git
+	sha256sums = SKIP
+
+pkgname = bluespec-bdw-git
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..25548b49ffe9
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,43 @@
+# Maintainer: Paulo Matias <matias@ufscar.br>
+
+pkgname=bluespec-bdw-git
+pkgver=r11.5b61fa8
+pkgrel=1
+pkgdesc='Bluespec Workstation (BDW)'
+arch=('x86_64')
+url='https://github.com/B-Lang-org/bdw'
+license=('BSD')
+depends=('bluespec-git' 'tk-itk3')
+makedepends=('git')
+source=("git+https://github.com/b-lang-org/bdw.git")
+sha256sums=('SKIP')
+_prefix="/opt/bluespec"
+
+pkgver() {
+  cd "$srcdir/bdw"
+  printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
+}
+
+prepare() {
+  cd "$srcdir/bdw"
+}
+
+build(){
+  cd "$srcdir/bdw"
+  make install
+}
+
+package() {
+  cd "$srcdir/bdw"
+  install -d "${pkgdir}${_prefix}"
+  cp -dr --preserve=mode,timestamp ./inst/* "${pkgdir}${_prefix}"
+
+  install -d "${pkgdir}/usr/bin"
+  local _prog
+  for _prog in bdw; do
+    sed -i "s,^BINDIR=.*$,BINDIR=${_prefix}/bin," "${pkgdir}${_prefix}/bin/${_prog}"
+    ln -s "${_prefix}/bin/${_prog}" "${pkgdir}/usr/bin"
+  done
+
+  install -Dm644 COPYING "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
+}