copy_mu - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

about summary refs log tree commit diff stats

path: root/copy_mu

blob: cd4da45559393d2c8ecfde3f3a308aa5012230ab (plain) (blame)

#!/usr/bin/env zsh
# Copy binaries across mu directories for different students on a single
# server, so we only need to build them once.

cp -r $1/enumerate/enumerate $2/enumerate
cp -r $1/cleave/cleave $2/cleave
rm -rf $2/.build
cp -r $1/.build $2
cp -r $1/mu_bin $2
cd $2
./mu  # couple of things still get recompiled, but should now be quick

vc { color: #336699 } /* Name.Variable.Class */ .highlight .vg { color: #dd7700 } /* Name.Variable.Global */ .highlight .vi { color: #3333bb } /* Name.Variable.Instance */ .highlight .vm { color: #336699 } /* Name.Variable.Magic */ .highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */

#!/bin/sh

set -v
rm -rf mu.cc core.mu mu_bin* *_list .build
test $# -gt 0 && exit 0  # convenience: 'clean top-level' to leave subsidiary tools alone
rm -rf enumerate/enumerate tangle/tangle tangle/*_list cleave/cleave
rm -rf termbox/*.o termbox/libtermbox.a
rm -rf *.dSYM */*.dSYM