[Pkg-ocaml-maint-commits] r2520 - in trunk/packages/felix: . debian
debian/patches
Mike Furr
mfurr at costa.debian.org
Wed Jan 18 18:48:02 UTC 2006
Author: mfurr
Date: 2006-01-18 18:48:00 +0000 (Wed, 18 Jan 2006)
New Revision: 2520
Added:
trunk/packages/felix/debian/
trunk/packages/felix/debian/changelog
trunk/packages/felix/debian/compat
trunk/packages/felix/debian/control
trunk/packages/felix/debian/copyright
trunk/packages/felix/debian/dirs
trunk/packages/felix/debian/felix.doc-base.lib
trunk/packages/felix/debian/felix.doc-base.tools
trunk/packages/felix/debian/felix.doc-base.tut
trunk/packages/felix/debian/felix.docs
trunk/packages/felix/debian/felix.examples
trunk/packages/felix/debian/felix.install
trunk/packages/felix/debian/felix.links
trunk/packages/felix/debian/patches/
trunk/packages/felix/debian/patches/00list
trunk/packages/felix/debian/patches/10_flx_path.dpatch
trunk/packages/felix/debian/postinst
trunk/packages/felix/debian/postrm
trunk/packages/felix/debian/preinst
trunk/packages/felix/debian/prerm
trunk/packages/felix/debian/rules
Log:
sync up
Added: trunk/packages/felix/debian/changelog
===================================================================
--- trunk/packages/felix/debian/changelog 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/changelog 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1,22 @@
+felix (1.1.1-2) unstable; urgency=low
+
+ * Remove hard-coded ABI strings
+ * Rebuild against 3.09.1
+
+ -- Mike Furr <mfurr at debian.org> Sun, 8 Jan 2006 15:55:43 -0500
+
+felix (1.1.1-1) unstable; urgency=low
+
+ * New maintainer
+ * New upstream release
+ * Added patch to flx script to correctly locate static runtime
+ (Closes: 319167)
+
+ -- Mike Furr <mfurr at debian.org> Fri, 4 Nov 2005 00:55:10 -0500
+
+felix (1.1.0-1) unstable; urgency=low
+
+ * Initial Release.
+
+ -- John Skaller <skaller at users.sourceforge.net> Fri, 27 May 2005 11:08:54 +1000
+
Added: trunk/packages/felix/debian/compat
===================================================================
--- trunk/packages/felix/debian/compat 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/compat 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1 @@
+4
Added: trunk/packages/felix/debian/control
===================================================================
--- trunk/packages/felix/debian/control 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/control 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1,17 @@
+Source: felix
+Section: devel
+Priority: optional
+Maintainer: Mike Furr <mfurr at debian.org>
+Build-Depends: debhelper (>= 4.0.0), python (>=2.0), ocaml-nox (>= 3.09.1),, ocaml-best-compilers, gnuplot (>=4.0), man2html (>=1.5), sed (>=4.1), dpatch
+Standards-Version: 3.6.1
+
+Package: felix
+Section: devel
+Priority: optional
+Architecture: any
+Depends: ${shlibs:Depends}, g++, ocaml-nox-${F:OCamlABI}
+Description: high performance programming language translator and tools
+ A new high performance language with
+ support for functional programming, ultra-lightweight
+ user space threads, and C/C++ interoperability.
+
Added: trunk/packages/felix/debian/copyright
===================================================================
--- trunk/packages/felix/debian/copyright 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/copyright 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1,19 @@
+This package was debianized by John Skaller<skaller at users.sourceforge.net>.
+It is now maintained by Mike Furr <mfurr at debian.org> as of Sep 2005.
+
+It was downloaded from http://felix.sf.net
+
+Copyright (c) 2001 George C. Necula <necula at cs.berkeley.edu>
+Copyright (c) 2001 Scott McPeak <smcpeak at cs.berkeley.edu>
+Copyright (c) 2001 Wes Weimer <weimer at cs.berkeley.edu>
+Copyright (c) 2002 Regents of the University of California
+Copyright (c) 2005 John Skaller <skaller at users.sourceforge.net>
+
+Executable License: 3 clause BSD, please see
+
+/usr/share/common-licenses/BSD
+
+for the full text of the licence.
+
+Run time library Licence: Free for any use.
+
Added: trunk/packages/felix/debian/dirs
===================================================================
--- trunk/packages/felix/debian/dirs 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/dirs 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1,8 @@
+usr/bin
+usr/lib
+usr/lib/felix
+usr/lib/felix/lib
+usr/lib/felix/rtl
+usr/include
+usr/share/man/man1
+
Added: trunk/packages/felix/debian/felix.doc-base.lib
===================================================================
--- trunk/packages/felix/debian/felix.doc-base.lib 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/felix.doc-base.lib 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1,9 @@
+Document: felix-library
+Title: Debian Felix Library Manual
+Author: John Skaller
+Abstract: Felix Standard Library.
+Section: main
+Format: HTML
+Index: /usr/share/doc/felix/impldoc/index.html
+Files: /usr/share/doc/felix/impldoc/*.html
+
Added: trunk/packages/felix/debian/felix.doc-base.tools
===================================================================
--- trunk/packages/felix/debian/felix.doc-base.tools 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/felix.doc-base.tools 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1,9 @@
+Document: felix-tools
+Title: Debian Felix Tools summary
+Author: John Skaller
+Abstract: An tutorial on Felix language and toolkit.
+Section: main
+Format: HTML
+Index: /usr/share/doc/felix/htmlman/felix_1.html
+Files: /usr/share/doc/felix/htmlman/*.html
+
Added: trunk/packages/felix/debian/felix.doc-base.tut
===================================================================
--- trunk/packages/felix/debian/felix.doc-base.tut 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/felix.doc-base.tut 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1,9 @@
+Document: felix-tutorial
+Title: Debian Felix Tutorial
+Author: John Skaller
+Abstract: An tutorial on Felix language and toolkit.
+Section: main
+Format: HTML
+Index: /usr/share/doc/felix/doc/en_tutorial_top.html
+Files: /usr/share/doc/felix/doc/*.html
+
Added: trunk/packages/felix/debian/felix.docs
===================================================================
--- trunk/packages/felix/debian/felix.docs 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/felix.docs 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1,4 @@
+htmlman/
+tut/doc/
+impldoc/
+
Added: trunk/packages/felix/debian/felix.examples
===================================================================
--- trunk/packages/felix/debian/felix.examples 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/felix.examples 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1,3 @@
+tut/examples/*.flx
+test/*.flx
+
Added: trunk/packages/felix/debian/felix.install
===================================================================
--- trunk/packages/felix/debian/felix.install 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/felix.install 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1,21 @@
+config/*.py usr/lib/felix/config
+bin/flx usr/bin
+bin/flxg usr/bin
+bin/flxl usr/bin
+bin/flxp usr/bin
+bin/flxd usr/bin
+bin/flxm usr/bin
+bin/flxb usr/bin
+bin/flx_run usr/bin
+bin/flxcc usr/bin
+bin/flx_elkhound usr/bin
+lib/*.flx usr/lib/felix/lib
+rtl/libflx_dynamic.so usr/lib/
+rtl/*.a usr/lib
+rtl/*.h usr/include
+rtl/*.hpp usr/include
+rtl/*.c usr/lib/felix/rtl
+rtl/*.cpp usr/lib/felix/rtl
+rtl/flx_run_static.o usr/lib/felix/rtl
+rtl/flx_run_dynamic.o usr/lib/felix/rtl
+
Added: trunk/packages/felix/debian/felix.links
===================================================================
--- trunk/packages/felix/debian/felix.links 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/felix.links 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1,11 @@
+usr/share/man/man1/flx.1.gz usr/share/man/man1/flxg.1.gz
+usr/share/man/man1/flx.1.gz usr/share/man/man1/flxl.1.gz
+usr/share/man/man1/flx.1.gz usr/share/man/man1/flxp.1.gz
+usr/share/man/man1/flx.1.gz usr/share/man/man1/flxd.1.gz
+usr/share/man/man1/flx.1.gz usr/share/man/man1/flxm.1.gz
+usr/share/man/man1/flx.1.gz usr/share/man/man1/flxb.1.gz
+usr/share/man/man1/flx.1.gz usr/share/man/man1/flxcc.1.gz
+usr/share/man/man1/flx.1.gz usr/share/man/man1/flx_run.1.gz
+usr/share/man/man1/flx.1.gz usr/share/man/man1/flx_doc.1.gz
+usr/share/man/man1/flx.1.gz usr/share/man/man1/flx_elkhound.1.gz
+
Added: trunk/packages/felix/debian/patches/00list
===================================================================
--- trunk/packages/felix/debian/patches/00list 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/patches/00list 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1 @@
+10_flx_path
Added: trunk/packages/felix/debian/patches/10_flx_path.dpatch
===================================================================
--- trunk/packages/felix/debian/patches/10_flx_path.dpatch 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/patches/10_flx_path.dpatch 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1,19 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## 10_flx_path.dpatch by Mike Furr <mfurr at debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: No description.
+
+ at DPATCH@
+diff -urNad felix-1.1.1_rc1~/lpsrc/flx_maker.ipk felix-1.1.1_rc1/lpsrc/flx_maker.ipk
+--- felix-1.1.1_rc1~/lpsrc/flx_maker.ipk 2005-10-29 04:40:36.000000000 -0400
++++ felix-1.1.1_rc1/lpsrc/flx_maker.ipk 2005-11-12 15:45:59.556281336 -0500
+@@ -4699,7 +4699,7 @@
+ FLXG="$prefix/bin/flxg"
+ FLXRUN="$prefix/bin/flx_run"
+ FLXLIB="$prefix/lib/felix/lib"
+- FLXRTL="$prefix/lib/felix/lib"
++ FLXRTL="$prefix/lib/felix/rtl"
+ FLXBIN="$prefix/bin"
+ FLXAR="$prefix/lib"
+ if [ "$CYGWIN" = "1" -o "$WIN32" = "1" ]
Property changes on: trunk/packages/felix/debian/patches/10_flx_path.dpatch
___________________________________________________________________
Name: svn:executable
+ *
Added: trunk/packages/felix/debian/postinst
===================================================================
--- trunk/packages/felix/debian/postinst 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/postinst 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1,42 @@
+#! /bin/sh
+# postinst script for flx
+#
+# see: dh_installdeb(1)
+
+set -e
+
+# summary of how this script can be called:
+# * <postinst> `configure' <most-recently-configured-version>
+# * <old-postinst> `abort-upgrade' <new version>
+# * <conflictor's-postinst> `abort-remove' `in-favour' <package>
+# <new-version>
+# * <deconfigured's-postinst> `abort-deconfigure' `in-favour'
+# <failed-install-package> <version> `removing'
+# <conflicting-package> <version>
+# for details, see http://www.debian.org/doc/debian-policy/ or
+# the debian-policy package
+#
+
+case "$1" in
+ configure)
+
+ ;;
+
+ abort-upgrade|abort-remove|abort-deconfigure)
+
+ ;;
+
+ *)
+ echo "postinst called with unknown argument \`$1'" >&2
+ exit 1
+ ;;
+esac
+
+# dh_installdeb will replace this with shell code automatically
+# generated by other debhelper scripts.
+
+#DEBHELPER#
+
+exit 0
+
+
Added: trunk/packages/felix/debian/postrm
===================================================================
--- trunk/packages/felix/debian/postrm 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/postrm 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1,39 @@
+#! /bin/sh
+# postrm script for flx
+#
+# see: dh_installdeb(1)
+
+set -e
+
+# summary of how this script can be called:
+# * <postrm> `remove'
+# * <postrm> `purge'
+# * <old-postrm> `upgrade' <new-version>
+# * <new-postrm> `failed-upgrade' <old-version>
+# * <new-postrm> `abort-install'
+# * <new-postrm> `abort-install' <old-version>
+# * <new-postrm> `abort-upgrade' <old-version>
+# * <disappearer's-postrm> `disappear' <r>overwrit>r> <new-version>
+# for details, see http://www.debian.org/doc/debian-policy/ or
+# the debian-policy package
+
+
+case "$1" in
+ purge|remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear)
+
+
+ ;;
+
+ *)
+ echo "postrm called with unknown argument \`$1'" >&2
+ exit 1
+
+esac
+
+# dh_installdeb will replace this with shell code automatically
+# generated by other debhelper scripts.
+
+#DEBHELPER#
+
+exit 0
+
Added: trunk/packages/felix/debian/preinst
===================================================================
--- trunk/packages/felix/debian/preinst 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/preinst 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1,38 @@
+#! /bin/sh
+# preinst script for flx
+#
+# see: dh_installdeb(1)
+
+set -e
+
+# summary of how this script can be called:
+# * <new-preinst> `install'
+# * <new-preinst> `install' <old-version>
+# * <new-preinst> `upgrade' <old-version>
+# * <old-preinst> `abort-upgrade' <new-version>
+#
+# for details, see http://www.debian.org/doc/debian-policy/ or
+# the debian-policy package
+
+
+case "$1" in
+ install|upgrade)
+ ;;
+
+ abort-upgrade)
+ ;;
+
+ *)
+ echo "preinst called with unknown argument \`$1'" >&2
+ exit 1
+ ;;
+esac
+
+# dh_installdeb will replace this with shell code automatically
+# generated by other debhelper scripts.
+
+#DEBHELPER#
+
+exit 0
+
+
Added: trunk/packages/felix/debian/prerm
===================================================================
--- trunk/packages/felix/debian/prerm 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/prerm 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1,39 @@
+#! /bin/sh
+# prerm script for flx
+#
+# see: dh_installdeb(1)
+
+set -e
+
+# summary of how this script can be called:
+# * <prerm> `remove'
+# * <old-prerm> `upgrade' <new-version>
+# * <new-prerm> `failed-upgrade' <old-version>
+# * <conflictor's-prerm> `remove' `in-favour' <package> <new-version>
+# * <deconfigured's-prerm> `deconfigure' `in-favour'
+# <package-being-installed> <version> `removing'
+# <conflicting-package> <version>
+# for details, see http://www.debian.org/doc/debian-policy/ or
+# the debian-policy package
+
+
+case "$1" in
+ remove|upgrade|deconfigure)
+# install-info --quiet --remove /usr/info/flx.info.gz
+ ;;
+ failed-upgrade)
+ ;;
+ *)
+ echo "prerm called with unknown argument \`$1'" >&2
+ exit 1
+ ;;
+esac
+
+# dh_installdeb will replace this with shell code automatically
+# generated by other debhelper scripts.
+
+#DEBHELPER#
+
+exit 0
+
+
Added: trunk/packages/felix/debian/rules
===================================================================
--- trunk/packages/felix/debian/rules 2006-01-18 18:47:18 UTC (rev 2519)
+++ trunk/packages/felix/debian/rules 2006-01-18 18:48:00 UTC (rev 2520)
@@ -0,0 +1,97 @@
+#!/usr/bin/make -f
+# -*- makefile -*-
+# Sample debian/rules that uses debhelper.
+# This file was originally written by Joey Hess and Craig Small.
+# As a special exception, when this file is copied by dh-make into a
+# dh-make output file, you may use that output file without restriction.
+# This special exception was added by Craig Small in version 0.37 of dh-make.
+
+# Uncomment this to turn on verbose mode.
+#export DH_VERBOSE=1
+
+
+# These are used for cross-compiling and for saving the configure script
+# from having to guess our platform (since we know it already)
+DEB_HOST_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)
+DEB_BUILD_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
+
+PACKAGE=felix
+include /usr/share/dpatch/dpatch.make
+OCAMLABI = $(shell ocamlc -version)
+
+ABI_FILES = $(wildcard debian/*.in)
+
+.PHONY: transition
+
+transition: $(ABI_FILES)
+ for t in $^; do \
+ sed -e 's%#OCamlABI#%$(OCAMLABI)%' $$t >$${t%.in}; \
+ done
+
+config-stamp: patch-stamp
+ dh_testdir
+
+ ./configure --prefix=debian/felix/usr
+ touch config-stamp
+
+build: build-stamp
+
+build-stamp: config-stamp
+ dh_testdir
+ echo "************ MAKING FELIX SYSTEM ****************"
+ $(MAKE) all
+ echo "************ MAKING FELIX DOCUMENTATION ****************"
+ $(MAKE) doc
+ touch build-stamp
+
+
+clean: patch clean1 unpatch
+clean1:
+ dh_testdir
+ dh_testroot
+ rm -f build-stamp config-stamp
+
+ -$(MAKE) distclean
+ rm -f interscript/*.pyo
+ rm -f interscript/*/*.pyo
+ rm -f interscript/*/*/*.pyo
+ rm -f a.out
+ rm -rf speed
+ rm -rf script
+ rm -rf config flxbuild
+ dh_clean
+
+install: build
+ dh_testdir
+ dh_testroot
+ dh_clean -k
+ dh_installdirs
+
+# Build architecture-independent files here.
+binary-indep: build install
+# We have nothing to do by default.
+
+# Build architecture-dependent files here.
+binary-arch: build install
+ dh_testdir
+ dh_testroot
+ dh_installchangelogs ChangeLog
+ dh_installdocs
+ dh_installexamples
+ dh_install
+ dh_installman man/man1/*
+ dh_link
+ dh_strip
+ dh_compress
+ dh_fixperms
+ dh_makeshlibs
+ dh_installdeb
+ dh_shlibdeps
+ dh_gencontrol -- -VF:OCamlABI="$(OCAMLABI)"
+ dh_md5sums
+ dh_builddeb
+
+binary: binary-indep binary-arch
+.PHONY: build clean binary-indep binary-arch binary install
+
+
Property changes on: trunk/packages/felix/debian/rules
___________________________________________________________________
Name: svn:executable
+ *
More information about the Pkg-ocaml-maint-commits
mailing list