Skip to content

Instantly share code, notes, and snippets.

@draftcode
Last active December 20, 2015 22:58
Show Gist options
  • Select an option

  • Save draftcode/6208460 to your computer and use it in GitHub Desktop.

Select an option

Save draftcode/6208460 to your computer and use it in GitHub Desktop.
require 'rake/clean'
CC = "clang"
CLEAN.include(FileList["pan{,.*}"])
CLEAN.include(FileList["*.pml.trail"])
CLOBBER.include(FileList["*.pml"].map { |fn| fn.gsub(/.pml$/, '') })
rule /^[^.]+$/ => '.pml' do |t|
sh "spin -a #{t.prerequisites.join(' ')}"
begin
sh "#{CC} -o #{t.name} pan.c"
ensure
rm "pan.c"
end
end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment