From 04e59901f1dc946abcbc151648e1033f47d9c1c5 Mon Sep 17 00:00:00 2001
From: Brent Carmer <bcarmer@galois.com>
Date: Thu, 5 Sep 2019 14:48:55 -0700
Subject: [PATCH] fix PKGBUILD

---
 PKGBUILD | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/PKGBUILD b/PKGBUILD
index f832816..63070c4 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,12 +1,12 @@
 # Maintainer: Brent Carmer <bcarmer@gmail.com>
 _pkgname=abc
-pkgname=$_pkgname-hg
+pkgname=$_pkgname-git
 
-pkgver=r.
-pkgver() {
-  cd "$_pkgname"
-  printf "r%s.%s" "$(hg identify -n)" "$(hg identify -i)"
-}
+pkgver=1.01
+# pkgver() {
+#     cd "$_pkgname"
+#     git describe --long --tags | sed -r 's/([^-]*-g)/r\1/;s/-/./g'
+# }
 
 pkgrel=1
 pkgdesc="System for Sequential Logic Synthesis and Formal Verification"