170 lines
5.4 KiB
Makefile
170 lines
5.4 KiB
Makefile
--- FreeBSD.mk.orig 2009-02-12 21:33:04.000000000 -0500
|
|
+++ FreeBSD.mk 2009-02-12 21:48:54.000000000 -0500
|
|
@@ -0,0 +1,82 @@
|
|
+# ---------------------------------------------------------------
|
|
+# Executables
|
|
+# ---------------------------------------------------------------
|
|
+
|
|
+arch != uname -p
|
|
+
|
|
+.if ${arch} == "i386"
|
|
+smlarch = x86
|
|
+.else
|
|
+smlarch = ${arch}
|
|
+.endif
|
|
+
|
|
+prefix = ${PREFIX}
|
|
+bindir = ${prefix}/bin
|
|
+infodir = ${prefix}/info
|
|
+twelfexecdir = ${prefix}/libexec/twelf
|
|
+twelfsharedir = ${prefix}/share/twelf
|
|
+
|
|
+runfile = bin/twelf-server
|
|
+heapfile = bin/.heap/twelf-server.${smlarch}-bsd
|
|
+
|
|
+# ---------------------------------------------------------------
|
|
+# Documentation
|
|
+# ---------------------------------------------------------------
|
|
+
|
|
+htmlnodes = toc abt 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
|
|
+
|
|
+dvifile = doc/dvi/twelf.dvi
|
|
+htmlfiles := doc/html/index.html ${htmlnodes:%=doc/html/twelf_%.html}
|
|
+infofile = doc/info/twelf.info
|
|
+pdffile = doc/pdf/twelf.pdf
|
|
+psfile = doc/ps/twelf.ps
|
|
+
|
|
+docfiles = ${dvifile} ${htmlfiles} ${infofile} ${pdffile} ${psfile}
|
|
+
|
|
+.for file in ${docfiles}
|
|
+${file}:
|
|
+ (cd doc/guide; make; make install)
|
|
+.endfor
|
|
+
|
|
+all: ${runfile} ${heapfile} ${docfiles}
|
|
+
|
|
+# ---------------------------------------------------------------
|
|
+# Installation
|
|
+# ---------------------------------------------------------------
|
|
+
|
|
+sharefiles != (echo README HISTORY; \
|
|
+ echo ${docfiles}; \
|
|
+ find emacs -type f -not -path '*/CVS/*'; \
|
|
+ find examples -type f -not -path '*/CVS/*'; \
|
|
+ find examples-clp -type f -not -path '*/CVS/*'; \
|
|
+ find exercises -type f -not -path '*/CVS/*'; \
|
|
+ find tex -type f -not -path '*/CVS/*'; \
|
|
+ find vim -type f -not -path '*/CVS/*' )
|
|
+
|
|
+installfiles := ${bindir}/twelf-server \
|
|
+ ${twelfsharedir}/${runfile} \
|
|
+ ${twelfexecdir}/${heapfile} \
|
|
+ ${infodir}/twelf.info \
|
|
+ ${sharefiles:%=$(twelfsharedir)/%}
|
|
+
|
|
+${bindir}/twelf-server: ${twelfsharedir}/${runfile}
|
|
+ ln -s $? $@
|
|
+
|
|
+${twelfsharedir}/${runfile}: ${runfile}
|
|
+ @install -d -o root -g wheel -m 0755 ${@D}
|
|
+ install -o root -g wheel -m 0555 $? $@
|
|
+
|
|
+${twelfexecdir}/${heapfile}: ${heapfile}
|
|
+ @install -d -o root -g wheel -m 0755 ${@D}
|
|
+ install -o root -g wheel -m 0444 $? $@
|
|
+
|
|
+${infodir}/twelf.info: doc/info/twelf.info
|
|
+ install -o root -g wheel -m 0444 $? $@
|
|
+
|
|
+.for file in ${sharefiles}
|
|
+${twelfsharedir}/${file}: ${file}
|
|
+ @install -d -o root -g wheel -m 0755 ${@D}
|
|
+ install -o root -g wheel -m 0644 $? $@
|
|
+.endfor
|
|
+
|
|
+install: ${installfiles}
|
|
--- FreeBSD.mk.orig 2009-02-12 21:33:04.000000000 -0500
|
|
+++ FreeBSD.mk 2009-02-12 21:48:54.000000000 -0500
|
|
@@ -0,0 +1,82 @@
|
|
+# ---------------------------------------------------------------
|
|
+# Executables
|
|
+# ---------------------------------------------------------------
|
|
+
|
|
+arch != uname -p
|
|
+
|
|
+.if ${arch} == "i386"
|
|
+smlarch = x86
|
|
+.else
|
|
+smlarch = ${arch}
|
|
+.endif
|
|
+
|
|
+prefix = ${PREFIX}
|
|
+bindir = ${prefix}/bin
|
|
+infodir = ${prefix}/info
|
|
+twelfexecdir = ${prefix}/libexec/twelf
|
|
+twelfsharedir = ${prefix}/share/twelf
|
|
+
|
|
+runfile = bin/twelf-server
|
|
+heapfile = bin/.heap/twelf-server.${smlarch}-bsd
|
|
+
|
|
+# ---------------------------------------------------------------
|
|
+# Documentation
|
|
+# ---------------------------------------------------------------
|
|
+
|
|
+htmlnodes = toc abt 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
|
|
+
|
|
+dvifile = doc/dvi/twelf.dvi
|
|
+htmlfiles := doc/html/index.html ${htmlnodes:%=doc/html/twelf_%.html}
|
|
+infofile = doc/info/twelf.info
|
|
+pdffile = doc/pdf/twelf.pdf
|
|
+psfile = doc/ps/twelf.ps
|
|
+
|
|
+docfiles = ${dvifile} ${htmlfiles} ${infofile} ${pdffile} ${psfile}
|
|
+
|
|
+.for file in ${docfiles}
|
|
+${file}:
|
|
+ (cd doc/guide; make; make install)
|
|
+.endfor
|
|
+
|
|
+all: ${runfile} ${heapfile} ${docfiles}
|
|
+
|
|
+# ---------------------------------------------------------------
|
|
+# Installation
|
|
+# ---------------------------------------------------------------
|
|
+
|
|
+sharefiles != (echo README HISTORY; \
|
|
+ echo ${docfiles}; \
|
|
+ find emacs -type f -not -path '*/CVS/*'; \
|
|
+ find examples -type f -not -path '*/CVS/*'; \
|
|
+ find examples-clp -type f -not -path '*/CVS/*'; \
|
|
+ find exercises -type f -not -path '*/CVS/*'; \
|
|
+ find tex -type f -not -path '*/CVS/*'; \
|
|
+ find vim -type f -not -path '*/CVS/*' )
|
|
+
|
|
+installfiles := ${bindir}/twelf-server \
|
|
+ ${twelfsharedir}/${runfile} \
|
|
+ ${twelfexecdir}/${heapfile} \
|
|
+ ${infodir}/twelf.info \
|
|
+ ${sharefiles:%=$(twelfsharedir)/%}
|
|
+
|
|
+${bindir}/twelf-server: ${twelfsharedir}/${runfile}
|
|
+ ln -s $? $@
|
|
+
|
|
+${twelfsharedir}/${runfile}: ${runfile}
|
|
+ @install -d -o root -g wheel -m 0755 ${@D}
|
|
+ install -o root -g wheel -m 0555 $? $@
|
|
+
|
|
+${twelfexecdir}/${heapfile}: ${heapfile}
|
|
+ @install -d -o root -g wheel -m 0755 ${@D}
|
|
+ install -o root -g wheel -m 0444 $? $@
|
|
+
|
|
+${infodir}/twelf.info: doc/info/twelf.info
|
|
+ install -o root -g wheel -m 0444 $? $@
|
|
+
|
|
+.for file in ${sharefiles}
|
|
+${twelfsharedir}/${file}: ${file}
|
|
+ @install -d -o root -g wheel -m 0755 ${@D}
|
|
+ install -o root -g wheel -m 0644 $? $@
|
|
+.endfor
|
|
+
|
|
+install: ${installfiles}
|