File: run-examples

package info (click to toggle)
drat-trim 0.0~git20240428.effa1dc-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 7,816 kB
  • sloc: ansic: 1,912; sh: 36; makefile: 30
file content (15 lines) | stat: -rwxr-xr-x 666 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
make
./drat-trim examples/example-4-vars.cnf examples/example-4-vars.drat
./drat-trim examples/example-5-vars.cnf examples/example-5-vars.drat
./drat-trim examples/uuf-100-1.cnf examples/uuf-100-1.drat -c core -l lemmas
./drat-trim core lemmas
./drat-trim examples/uuf-100-2.cnf examples/uuf-100-2.drat -c core -l lemmas
./drat-trim core lemmas
./drat-trim examples/uuf-100-3.cnf examples/uuf-100-3.drat -c core -l lemmas
./drat-trim core lemmas
./drat-trim examples/uuf-100-4.cnf examples/uuf-100-4.drat -c core -l lemmas
./drat-trim core lemmas
./drat-trim examples/uuf-100-5.cnf examples/uuf-100-5.drat -c core -l lemmas
./drat-trim core lemmas
rm core
rm lemmas