I got the issue fixed finally and this is how:

I started first by looking in the build.log file for more information about the issue and I found the following:

...

[ALL ] tinylogin-dev update-rc.d update-rc.d-dev

[ALL ] Authentication warning overridden.
[ALL ] /opt/PetaLinux/petalinux-v2013.10-final/tools/packagemanager/bin/dpkg: error while loading shared libraries: libselinux.so.1: cannot open shared object file: No such file or directory
[ERROR] E: Sub-process /opt/PetaLinux/petalinux-v2013.10-final/tools/packagemanager/bin/dpkg returned an error code (127)
[ERROR] make[2]: *** [pkg_stagefs] Error 255
[ALL ] make[2]: Leaving directory `/home/fyonga/Documents/Embedded_linux/Peta_projects/Xilinx-ZC702-2013.3/build/linux/rootfs/packages-repo'
...

and by checking at the depencies of dpkg used by petalinux, the command

ldd /petalinux/installation/folder/tools/packagemanager/bin/dpkg

returned:

linux-gate.so.1 => (0xf7731000)
libselinux.so.1 => not found
libc.so.6 => /lib/i386-linux-gnu/libc.so.6 (0xf755f000)
/lib/ld-linux.so.2 (0xf7732000)

Effectively the shared library libselinux.so (that dpkg depends on) was missing. The solution was therefore to generate one and copy it inside the lib folder of the packagemanager. However, since those libraries are 32-bits and my computer is 64, I couldn't use directly the libselinux.so version in /lib/i386-linux-gnu/ (the standard one). I just copied the shared library on a 32-bit ubuntu version that I have installed on another computer and placed it in:  /petalinux/installation/folder/tools/packagemanager/lib

The file is attached here. A more beautiful solution (I think) would be to try generating one for a 32-bit version of your Ubuntu. 

Now it builds successfully the image! 

将 libselinux.so.1 文件拷贝到了 /petalinux/installation/folder/tools/packagemanager/lib 下，petalinux-build 即可正常运行。

20140913 UPDATE：

作其他编译时，依然报错。按照上述文档的另一回复：

I just put an Answer Record into the queue for publication on this as I got an answer from PetaLinux engineering about this.  To work around this properly requires a relatively small patch to the apt repository makefile.  Below is the ASCII contents of the patch:

diff --git a/components/packages-repo/Makefile  b/components/packages-repo/Makefile
index 2d90a90..e127b1b 100644
--- a/components/packages-repo/Makefile
+++ b/components/packages-repo/Makefile
@@ -73,7 +73,7 @@ TARGETROOT_APTROOT=$(BUILDROOT)/targetroot
TARGETROOT_APTROOT_CONF=$(TARGETDIR)/.targetroot.apt
TARGETROOT_APTCONFIG=$(TARGETROOT_APTROOT_CONF)/etc/apt/apt.conf.d/apt.conf

 -FALSEPATH=$(APTPATH)/bin:$(PATH)
+FALSEPATH=$(APTPATH)/bin:/usr/bin:/bin
FALSELDPATH=$(APTPATH)/lib:$(APTPATH)/lib/libfakeroot

 FAKEROOT=$(APTPATH)/bin/fakeroot
--
1.9.0

对 相关的makefile作了修改后，编译可以通过。（需要保留上面拷贝的库，该库在/components/packages-repo/i686下有，但如果不拷贝出来，就会报缺少该文件。）。