sawine@23: function include(url)
sawine@23: {
sawine@23:     var element;
sawine@23:     switch(url.split(".").pop())
sawine@23:     {
sawine@23:     case "css":
sawine@23: 	element = document.createElement("link");
sawine@23: 	element.setAttribute("rel", "stylesheet");
sawine@23: 	element.setAttribute("type", "text/css");
sawine@23: 	element.setAttribute("href", url);
sawine@23: 	break;
sawine@23:     case "js":
sawine@23: 	element = document.createElement("script");
sawine@23: 	element.setAttribute("language", "javascript");
sawine@23: 	element.setAttribute("src", url);
sawine@23: 	break;
sawine@23:     }
sawine@23:     var head = document.querySelector("head");
sawine@23:     if (head.innerHTML.indexOf(element.outerHTML) != -1) 
sawine@23: 	window.console && window.console.warn("Skipping duplicate include.", url);
sawine@23:     else
sawine@23: 	head.appendChild(element);
sawine@23: }
sawine@23: 
sawine@23: include("scripts/glMatrix.js");
sawine@23: include("scripts/webgl-utils.js");
sawine@23: include("scripts/machine.js");
sawine@23: 
sawine@23: function boot()
sawine@23: {
sawine@23:     
sawine@23:     main();
sawine@23: }