Fixing a bug: completing reachability graph with missing past traces.
[jpf-core.git] / lib / extract.sh
1 #!/bin/bash
2
3 mkdir groovy-2.5.7
4 mkdir groovy-dateutil-2.5.7
5 mkdir groovy-json-2.5.7
6 unzip groovy-2.5.7.jar -d groovy-2.5.7
7 unzip groovy-dateutil-2.5.7.jar -d groovy-dateutil-2.5.7
8 unzip groovy-json-2.5.7.jar -d groovy-json-2.5.7