From d5bf7bfdcb74e7b0557c937aa151c7709531f61f Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Thu, 2 May 2013 17:33:25 -0400 Subject: Replace Makefile with buildscript --- build | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100755 build (limited to 'build') diff --git a/build b/build new file mode 100755 index 0000000..68eb99f --- /dev/null +++ b/build @@ -0,0 +1,30 @@ +#!/bin/sh +# Build script for 6.947 +# Copyright (C) 2013 Benjamin Barenblat +# +# This file is a part of 6.947. +# +# 6.947 is is free software: you can redistribute it and/or modify it under the +# terms of the GNU Affero General Public License as published by the Free +# Software Foundation, either version 3 of the License, or (at your option) any +# later version. +# +# 6.947 is distributed in the hope that it will be useful, but WITHOUT ANY +# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR +# A PARTICULAR PURPOSE. See the GNU Affero General Public License for more +# details. +# +# You should have received a copy of the GNU Affero General Public License +# along with 6.947. If not, see . + +# This build script is intended to build a CGI executable for use on the MIT +# SIPB's Scripts service. Attempting to build elsewhere will require +# modifications. +# +# This used to be done with a Makefile, but 'urweb' is a whole-program compiler +# anyway, so a Makefile is a bit silly. + +cd `hg root` +. /mit/bbaren/ur/setup.sh + +urweb -protocol cgi -static site -- cgit v1.2.3