# Interface: # make # make build # make run # make time-linux # make install # make format # make time-linux-simple # make profile-linux SRC=samples.lua run: $(SRC) lua $(SRC) time-linux: @echo "Requires /bin/time, found on GNU/Linux systems" && echo @echo "Running 100x and taking avg time of: lua $(SRC)" @t=$$(/usr/bin/time -f "%e" -p bash -c 'for i in {1..100}; do lua $(SRC); done' 2>&1 >/dev/null | grep real | awk '{print $$2}' ); echo "scale=2; 1000 * $$t / 100" | bc | sed "s|^|Time: |" | sed 's|$$|ms|' && echo time-linux-simple: @echo "Requires /bin/time, found on GNU/Linux systems" && echo /bin/time -f "Time: %es" lua $(SRC) && echo profile-linux: @echo "Requires perf, which depends on the kernel version, and might be in linux-tools package or similar" @echo "Must be run as sudo" sudo perf record lua $(SRC) sudo perf report rm perf.data