Add previously forgotten libplomrogue.so redo build file.

diff --git a/libplomrogue.so.do b/libplomrogue.so.do
new file mode 100644 (file)
index 0000000..d19de94
--- /dev/null
+++ b/libplomrogue.so.do
@@ -0,0 +1,10 @@
+# redo build file to build the library "libplomrogue.so"
+
+# This file is part of PlomRogue. PlomRogue is licensed under the GPL version 3
+# or any later version. For details on its copyright, license, and warranties,
+# see the file NOTICE in the root directory of the PlomRogue source package.
+
+redo-ifchange build/compiler_flags
+. ./build/compiler_flags
+redo-ifchange src/server/libplomrogue.c
+gcc -shared -fPIC $CFLAGS -o libplomrogue.so src/server/libplomrogue.c -lm