home
·
contact
·
privacy
projects
/
plomrogue
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Server/py: Integrate libplomrogue building into current main building.
[plomrogue]
/
redo
diff --git
a/redo
b/redo
index 4081117268dee04d1df9a08acd01f043d71bf0fd..da2637beff1876add1a2f33e998f7ff95968cb7f 100755
(executable)
--- a/
redo
+++ b/
redo
@@
-18,5
+18,12
@@
# <https://github.com/plomlompom/plomrogue/issues/2#issuecomment-50972436> for a
# workaround.
# <https://github.com/plomlompom/plomrogue/issues/2#issuecomment-50972436> for a
# workaround.
+if [ ! -e ./libplomrogue.so ]
+then
+ echo "non-redo stuff (preparing for future Python port sans redo needs):"
+ echo "Building library for server's Python variant with mere shell one-liner."
+ ./compile-server.sh
+fi
+
export PATH=$PATH:$PWD/build/redo_scripts
redo "$@"
export PATH=$PATH:$PWD/build/redo_scripts
redo "$@"