demo1:
	bash w nasa93 ground
	@echo "\n(Demo ran: bash w nasa93 ground)"

demo2:
	bash w nasa93 osp2
	@echo "\n(Demo ran: bash w nasa93 osp2)"

demo3:
	bash w coc81 ground
	@echo "\n(Demo ran: bash w coc81 ground)"

demo4:
	Class=effort bash w nasa93 flight
	@echo "\n(Demo ran: Class=effort bash w nasa93 flight)"

demo5:
	Discretize=3 bash w nasa93 ground
	@echo "\n(Demo ran: Discretize=3 bash w nasa93 ground)"

demo6:
	Verbose=0 Log=~/tmp/test.out bash w nasa93 ground
	@echo "\n(Demo ran: Verbose=0 Log=~/tmp/test.out bash w nasa93 ground)"