source: Deliverables/D4.1/DemoFinal/demo-script @ 3174

Last change on this file since 3174 was 671, checked in by mulligan, 10 years ago

Finished demo script for tomorrow.

File size: 430 bytes
Line 
1--- BEFORE DEMO ---
2cd ~/Projects/Cerco/Deliverables/D4.1/DemoFinal
3rm -rf junk
4mkdir junk
5cp Search.c junk
6~/Projects/Matita/matita/matita.opt matita/Search.ma &
7~/Projects/Matita/matita/matita.opt matita/DoTest.ma &
8
9--- DEMO PROPER ---
10./acc.native junk/Search.c
11less junk/Search.hex
12./MCS51.native junk/Search.hex 2> junk/Trace.out
13gedit Trace.out &
14mcu8051ide &                                     (REMEMBER: Set XCODE size)
Note: See TracBrowser for help on using the repository browser.