-if [ "$CLEAN_HOME" != "$TARGET" ]; then
- echo "Add or change \$CLEAN_HOME to \"$TARGET\""
-fi
-if ! hash clm; then
- if [ "$(which clm)" != "$TARGET/bin" ]; then
- echo "Replace the old clm path with \$CLEAN_HOME/bin in PATH"
- else
- echo "Add \$CLEAN_HOME/bin to your PATH"
- fi
-fi
-echo "Done"
+echo "Apply patches" >&2
+curl -sSL https://gitlab.science.ru.nl/mlubbers/iTasks-SDK/raw/95-addbackgroundtask/Libraries/iTasks/_Framework/TaskServer.dcl\
+ > "$TARGET"/lib/iTasks/iTasks/_Framework/TaskServer.dcl
+curl -sSL https://gitlab.science.ru.nl/mlubbers/iTasks-SDK/raw/95-addbackgroundtask/Libraries/iTasks/_Framework/TaskServer.icl\
+ > "$TARGET"/lib/iTasks/iTasks/_Framework/TaskServer.icl
+
+echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET/bin:\$PATH;"