mirror of
https://github.com/ashinn/chibi-scheme.git
synced 2025-05-19 05:39:18 +02:00
Adding "debian" make target from issue #221.
This commit is contained in:
parent
ff8f9d5fa7
commit
82bc3b931f
1 changed files with 4 additions and 1 deletions
5
Makefile
5
Makefile
|
@ -1,6 +1,6 @@
|
|||
# -*- makefile-gmake -*-
|
||||
|
||||
.PHONY: dist mips-dist cleaner test test-all test-dist checkdefs
|
||||
.PHONY: dist mips-dist cleaner test test-all test-dist checkdefs debian
|
||||
.DEFAULT_GOAL := all
|
||||
|
||||
SOVERSION ?= $(shell cat VERSION)
|
||||
|
@ -383,3 +383,6 @@ mips-dist: dist-clean
|
|||
@for f in `git ls-files | grep -v ^benchmarks/`; do $(MKDIR) chibi-scheme-`date +%Y%m%d`-`git log HEAD^..HEAD | head -1 | cut -c8-`/`dirname $$f`; $(SYMLINK) `pwd`/$$f chibi-scheme-`date +%Y%m%d`-`git log HEAD^..HEAD | head -1 | cut -c8-`/$$f; done
|
||||
$(TAR) cphzvf chibi-scheme-`date +%Y%m%d`-`git log HEAD^..HEAD | head -1 | cut -c8-`.tgz chibi-scheme-`date +%Y%m%d`-`git log HEAD^..HEAD | head -1 | cut -c8-`
|
||||
$(RM) -r chibi-scheme-`date +%Y%m%d`-`git log HEAD^..HEAD | head -1 | cut -c8-`
|
||||
|
||||
debian:
|
||||
sudo checkinstall -D --pkgname chibi-scheme --pkgversion `cat VERSION` --maintainer "http://groups.google.com/group/chibi-scheme" -y make PREFIX=/usr install
|
||||
|
|
Loading…
Add table
Reference in a new issue