GNU emacs frontend to the SaT project

Makefile 194B

    CASK ?= cask EMACS ?= emacs all: test test: unit ecukes unit: ${CASK} exec ert-runner ecukes: ${CASK} exec ecukes --no-win install: ${CASK} install .PHONY: all test unit ecukes install