<?php /** * Ths file updates sources.xml, adds new files and moves removed file to the section "removed" */ include dirname(__FILE__) . '/inc.php/sourceXmlParser.php'; $parser = new SourceParser(); $parser->load(); $parser->checkFiles(dirname(__FILE__) . '/../src/'); $parser->save(); print "sources.xml updated successfully.\n";
<?php /** * This scripts builds the application */ include dirname(__FILE__) . '/inc.php/sourceXmlParser.php'; include dirname(__FILE__) . '/inc.php/config.php'; include dirname(__FILE__) . '/inc.php/builder.php'; $config = new Configuration(); if (!$config->checkLibraries()) { print "Build canceled, not all required libraries are installed.\n\n"; return 1; } $parser = new SourceParser(); $parser->load(); $builder = new Builder($config, $parser); $builder->build(dirname(__FILE__) . '/../src/', dirname(__FILE__) . '/build/obj/', dirname(__FILE__) . '/build/xournalpp', 'xournalpp');
public function getParsedArray($file_contents) { static $current; $k = md5($file_contents); if (!isset($current[$k])) { $current = array(); $SourceParser = new SourceParser($file_contents); $current[$k] = $SourceParser->parse(); } return $current[$k]; }