diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..8d2b67e --- /dev/null +++ b/Makefile @@ -0,0 +1,20 @@ +# Copyright 2016 Benjamin Barenblat +# +# Licensed under the Apache License, Version 2.0 (the “License”); you may not +# use this file except in compliance with the License. You may obtain a copy of +# the License at +# +# http://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an “AS IS” BASIS, WITHOUT +# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the +# License for the specific language governing permissions and limitations under +# the License. + +ugtd: ugtd.urp main.urs main.ur + urweb -ccompiler build_scripts/clang -output $@ ugtd + +.PHONY: clean +clean: + $(RM) ugtd |