Method run

src/main/java/wyc/Compiler.java:123–146

()

	}

	public boolean run() throws IOException {
		List<WhileyFile> whileyfiles = new ArrayList<>();
		// Read source files
		for (Trie sf : sources) {
			WhileyFile wf = readWhileyFile(whileydir, sf);
			whileyfiles.add(wf);
		}
		ArrayList<WyilFile> deps = new ArrayList<>(this.dependencies);
		// Extract any dependencies from zips
		for(File dep : whileypath) {
			extractDependencies(dep,deps);
		}
		// Compile WyilFile
		CompileTask task = new CompileTask(target, deps).setStrict(strict).setLinking(linking);
		Pair<WyilFile, Boolean> r = task.compile(whileyfiles);
		// Read out binary file from build repository
		WyilFile binary = r.first();
		// Print out syntactic markers
		writeSyntacticMarkers(mailbox,binary);
		// Write generated WyIL file
		writeWyilFile(wyildir,target,binary);
		//
		return r.second() && binary.isValid();
	}

	/**
	 * Command-line options