Skip to content
Snippets Groups Projects

Feature/new cgc

Open Feature/new cgc
feature/new-cgc into master
Open Dario Pinto requested to merge feature/new-cgc into master
Viewing commit 682b3bd2
Prev Next
Show latest version
1 file
+ 8
− 0
Compare changes
  • Side-by-side
  • Inline
cgc-challenges/Makefile 0 → 100644
+ 8
− 0
TARGETS:=$(sort $(filter-out lib/ old_stubs/,$(dir $(wildcard */))))
all: $(TARGETS)
$(TARGETS):
$(MAKE) -C $@/.frama-c
.PHONY: all $(TARGETS)