The following commit has been merged in the master branch:
commit 550e6e932b62e59366d2c7020643fe15dbc3acff
Author: Stephane Glondu
Date: Mon Nov 21 20:45:15 2011 +0100
Pass $(MAKE_EXTRA_VARS) to calls to $(MAKE) in rules
diff --git a/debian/rules b/debian/rules
index f7545c9..159b0b8 10075
The following commit has been merged in the master branch:
commit 83fd0c83c4195129a5f025666bc3ede8c441668d
Author: Stephane Glondu
Date: Mon Nov 21 20:27:30 2011 +0100
Update debian/copyright to more recent specification
diff --git a/debian/copyright b/debian/copyright
index 10abff6..feca3
The following commit has been merged in the master branch:
commit e5a01833b5483972cef665292f5a2d58963ce093
Author: Stephane Glondu
Date: Mon Nov 21 21:12:42 2011 +0100
Fix debhelper files
diff --git a/debian/libderiving-ocsigen-ocaml-dev.install.in
b/debian/libderiving-ocsigen-ocaml-dev.i
The following commit has been merged in the master branch:
commit 648905509cf49f95433969c814c5f15678fde103
Author: Stephane Glondu
Date: Mon Nov 21 20:23:10 2011 +0100
Add missing ${shlibs:Depends}
diff --git a/debian/control b/debian/control
index f83c893..99b03f8 100644
--- a/debian/cont
The following commit has been merged in the master branch:
commit cd315d022f50a30a27e3d2d389f4ecaf8ea2b9fb
Author: Pierre Chambart
Date: Mon Nov 21 17:54:13 2011 +0100
Install cmx
diff --git a/debian/patches/0006-Install-cmx.patch
b/debian/patches/0006-Install-cmx.patch
new file mode 1006
The following commit has been merged in the master branch:
commit c0fad214739c34e51c53c46b4e8336036bac11e3
Author: Pierre Chambart
Date: Mon Nov 21 20:13:39 2011 +0100
remove syntax.base package
diff --git a/debian/patches/0005-remove-syntax.base-package.patch
b/debian/patches/0005-remove
The following commit has been merged in the master branch:
commit 5d8cd569ec8c76cf2059d4d0534e9ccc7773de35
Author: Pierre Chambart
Date: Mon Nov 21 20:13:55 2011 +0100
check for natdynlink in rules
diff --git a/debian/rules b/debian/rules
index 71374d8..f7545c9 100755
--- a/debian/rules
++
The following commit has been merged in the master branch:
commit 8f6b482018b09879346d63694294e5ce0bed8354
Author: Pierre Chambart
Date: Mon Nov 21 20:13:16 2011 +0100
build cmxs
diff --git a/debian/patches/0004-build-cmxs.patch
b/debian/patches/0004-build-cmxs.patch
new file mode 100644
The following commit has been merged in the master branch:
commit 11fcc7ff44ad5b0955858b5f7a7f0ef00c4c13b0
Author: Pierre Chambart
Date: Mon Nov 21 16:00:20 2011 +0100
syntax package exists only when -dev is installed
diff --git
a/debian/patches/0003-syntax-package-exists-only-when-dev-is
9 matches
Mail list logo
