From 8636619694b6c4f76c786c41b73dd3af77e06223 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Wed, 30 May 2018 19:29:50 -0600
Subject: [PATCH] Use %ldconfig_scriptlets.

---
 cvc4.spec | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/cvc4.spec b/cvc4.spec
index 73aa32b..2f1b88e 100644
--- a/cvc4.spec
+++ b/cvc4.spec
@@ -204,9 +204,7 @@ ln -s $PWD/src/options/options_holder_template.h $BUILDS/src/options
 ln -s $PWD/src/options/options_template.cpp $BUILDS/src/options
 ln -s $PWD/src/smt/smt_options_template.cpp $BUILDS/src/smt
 
-%post libs -p /sbin/ldconfig
-
-%postun libs -p /sbin/ldconfig
+%ldconfig_scriptlets libs
 
 %check
 # The tests use a large amount of stack space