File csound-6.08-default-pulse.patch of Package csound

Index: csound-6.12.2/Top/csound.c
===================================================================
--- csound-6.12.2.orig/Top/csound.c	2018-11-07 16:05:23.000000000 +0200
+++ csound-6.12.2/Top/csound.c	2019-04-05 15:32:03.893551257 +0200
@@ -3443,7 +3443,7 @@ PUBLIC void csoundReset(CSOUND *csound)
     csoundCreateGlobalVariable(csound, "_RTAUDIO", (size_t) max_len);
     s = csoundQueryGlobalVariable(csound, "_RTAUDIO");
 #ifndef LINUX
-    strcpy(s, "PortAudio");
+    strcpy(s, "pulse");
 #else
     strcpy(s, "alsa");
 #endif