Commit 326e6565 authored by Mart Lubbers's avatar Mart Lubbers

cleanup other misc files

parent 9a4e50e9
Pipeline #15452 passed with stage
in 1 minute and 44 seconds
CLM:=clm
override CLMFLAGS+=-nt
CLMLIBS:=\
-IL Platform\
-IL TCPIP\
-I ./libcloogle\
-I ./clean-selectloop/libraries
BINARIES:=IRC IRCBot cloogleirc #test
all: $(BINARIES)
%: %.icl $(wildcard */*.[id]cl *.[id]cl)
$(CLM) $(CLMLIBS) $(CLMFLAGS) $(basename $<) -o $@
clean:
$(RM) -r $(BINARIES) Clean\ System\ Files
# clean-irc
IRC library for Clean
## Example
As a proof of concept, a cloogle bot is created. Run `./cloogle-irc --help` for
more info. `run.sh` contains a script suitable for running it continously.
## Todo
- Check the commands one more time on syntax
#!/bin/sh
set -e
if [ "$#" -eq 0 ];
then
echo "Usage: $0 DIR" >&2
exit 1;
fi
TARGET="$(realpath "$1")"
echo "Removing and repopulating $TARGET" >&2
if [ -d "$TARGET" ]; then
mv "$TARGET" "$TARGET.$(date +%F)" || rm -fr "$TARGET"
fi
rm -fr "$TARGET"
mkdir -p "$TARGET"
echo "Downloading and installing clean nightly" >&2
curl -sSL ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz \
| tar --gunzip --strip-components=1 --extract --directory="$TARGET"
echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET/bin:\$PATH;"
#!/bin/sh
while true
do
git pull origin master
git submodule init
git submodule update
make -B
./cloogleirc "$@"
sleep 5s
done
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment