Compile idst with SELinux

Hi,

I just noticed that you have to take care about SELinux issue when you
build idst on linux. An easy way is to run:

chcon -t texrel_shlib_t *.so

wherever error occurs, or to rewrite Makefile. Real problem is this
error message (st80.so: No such file or directory) means nothing. I
spend about this issue half day with gdb so I send the email if it
helps someone.

Cheers,
- Takashi

Index: object/Makefile
===================================================================
--- object/Makefile	(revision 400)
+++ object/Makefile	(working copy)
@@ -8,18 +8,22 @@

 boot : .config-stamp .FORCE
 	-$(SHELL) -ec '( cd boot; $(MAKE) )'
+	-chcon -t texrel_shlib_t boot/*.so

 stage1 : .FORCE
 	-$(SHELL) -ec '[ -d stage1 ] || mkdir stage1'
 	$(SHELL) -ec 'for dir in $(SUBDIRS); do ( echo $$dir; cd $$dir;
$(MAKE) IDC="../boot/idc -B../boot/ -O" BIN="../stage1/" ); done'
+	-chcon -t texrel_shlib_t stage1/*.so

 stage2 : .FORCE
 	-$(SHELL) -ec '[ -d stage2 ] || mkdir stage2'
 	$(SHELL) -ec 'for dir in $(SUBDIRS); do ( echo $$dir; cd $$dir;
$(MAKE) IDC="../stage1/idc -B../stage1/ -O" BIN="../stage2/" ); done'
+	-chcon -t texrel_shlib_t stage2/*.so

 stage3 : .FORCE
 	-$(SHELL) -ec '[ -d stage3 ] || mkdir stage3'
 	$(SHELL) -ec 'for dir in $(SUBDIRS); do ( echo $$dir; cd $$dir;
$(MAKE) IDC="../stage2/idc -B../stage2/ -g" BIN="../stage3/" ); done'
+	-chcon -t texrel_shlib_t stage3/*.so

 test2 : stage2 .FORCE
 	-$(SHELL) -ec '( cd examples/hw; make clean; ../../stage2/idc
-B../../stage2/ -I../../st80 -g -k hw.st; LD_LIBRARY_PATH=../../stage2
./hw )'