12345678910111213141516171819202122 |
- #!/bin/bash
- RETCODE=$(fw_exists nimrod/bin/nimrod)
- [ ! "$RETCODE" == 0 ] || { return 0; }
- test -d nimrod || git clone git://github.com/Araq/Nimrod.git nimrod
- cd nimrod
- git checkout 987ac2439a87d74838233a7b188e4db340495ee5
- test -d csources || git clone git://github.com/nimrod-code/csources.git
- cd csources
- git checkout 704015887981932c78a033dd5ede623b2ad6ae27
- chmod +x build.sh
- ./build.sh
- cd ../..
- RETCODE=$(fw_exists nimrod/koch)
- [ ! "$RETCODE" == 0 ] || { return 0; }
- cd nimrod
- bin/nimrod c koch
- ./koch boot -d:release
|