diff options
author | P. J. McDermott <pj@pehjota.net> | 2014-05-07 12:54:18 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2014-05-07 12:54:18 (EDT) |
commit | 6b8e4081f0e47ed7926598ce86601e3345041458 (patch) | |
tree | 4086db51ca3ab964565c86987b5f4386d6afa1c4 /build |
Initial commit.
Diffstat (limited to 'build')
-rwxr-xr-x | build | 23 |
1 files changed, 23 insertions, 0 deletions
@@ -0,0 +1,23 @@ +#!/usr/bin/make -f + +include ../source.mk + +nop: + @: + +configure: + oh-autoconfigure -- --with-readline + touch $@ + +build: configure + oh-autobuild + touch $@ + +install: build + oh-autoinstall + mv dest/usr/bin/dc dest/usr/bin/dc.gnu + # Remove GNU Info index. + rm -f dest/usr/share/info/dir + oh-fixperms + oh-strip + oh-installfiles |