From a03b20ef399a363b5f31b34c3d33d34eb83f7280 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 20 Nov 2017 20:26:38 +0100
Subject: community/clingo: remove patch

---
 community/clingo/PKGBUILD | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 community/clingo/PKGBUILD

(limited to 'community')

diff --git a/community/clingo/PKGBUILD b/community/clingo/PKGBUILD
deleted file mode 100644
index b41d5d41..00000000
--- a/community/clingo/PKGBUILD
+++ /dev/null
@@ -1,10 +0,0 @@
-# see upstream: https://github.com/potassco/clingo/issues/57
-
-source+=("clang-libatomic.patch::https://github.com/potassco/clasp/commit/fe3e176e2813956000bb947479de2c3d80fe34be.patch")
-md5sums+=('d78671719de4e36653acf0ef28f890ae')
-
-prepare() {
-  cd $pkgname/clasp
-  patch -p1 -i ../../clang-libatomic.patch
-  find . -name '*.cpp' -type f -exec sed -i '/^#include <xlocale\.h>$/d' {} \;
-}
-- 
cgit v1.2.3-70-g09d2