# $(xilinx)trce -intstyle ise -e 3 -l 3 -s 6 -xml main main.ncd -o main.twr main.pcf
-doc: fleet.jar
- $(java) $(cp) edu.berkeley.fleet.doc.Doc < ships/Alu2.ship
+manual: fleet.jar
+ $(java) -jar fleet.jar doc
+ cd .tmp; TEXINPUTS=$$TEXINPUTS:../doc/ pdflatex *.tex
+ open .tmp/*.pdf
+
test: fleet.jar; $(java) -jar fleet.jar test tests/
testfpga: fleet.jar; $(java) -jar fleet.jar target=fpga test tests/
} else if (command.equals("expand")) {
fleet.expand(new ShipDescription(new BufferedReader(new InputStreamReader(new FileInputStream(args.get(0))))));
+ } else if (command.equals("doc")) {
+ Doc.print();
+
} else if (command.equals("test")) {
test(fleet, new File(args.get(0)));
} else if (command.equals("asm")) {
--- /dev/null
+package edu.berkeley.fleet.doc;
+
+import java.io.*;
+import java.util.*;
+
+
+public class Doc {
+
+ public static void print() throws Exception {
+ if (!new File(".tmp").exists())
+ new File(".tmp").mkdirs();
+ PrintWriter pw = new PrintWriter(new FileOutputStream(".tmp/FleetTwo.Manual.tex"));
+ BufferedReader br = new BufferedReader(new InputStreamReader(new FileInputStream("doc/archman.tex")));
+ for(String s = br.readLine(); s!=null; s = br.readLine())
+ pw.println(s);
+ for(String f : new File("ships").list()) {
+ print(pw, new ShipDescription(new BufferedReader(new InputStreamReader(new FileInputStream(new File("ships/"+f))))));
+ }
+ pw.println("\\end{document}");
+ pw.close();
+ }
+
+ private static void print(PrintWriter pw, ShipDescription sd) throws Exception {
+ pw.println("\\pagebreak");
+ pw.println("\\section*{The {\\tt "+sd.getName()+"} Ship}");
+ String tex = sd.getSection("tex");
+ if (tex!=null)
+ pw.println(tex);
+ for(BenkoBoxDescription bbd : sd) {
+ pw.println("\\subsection*{"+(bbd.isInbox() ? "Inbox: " : "Outbox: ")+"{\\tt "+bbd.getName()+"}}");
+ }
+ }
+
+}
\ No newline at end of file