Makefile
changeset 2233 3840cefa5222
parent 2207 8a2a7f7d9df6
child 2234 9ea93ff67a73
equal deleted inserted replaced
2232:ef3c039e7ab8 2233:3840cefa5222
     1 # This Makefile is only used by developers.
     1 PREFIX=/usr/local
       
     2 export PREFIX
     2 PYTHON=python
     3 PYTHON=python
     3 
     4 
     4 all:
     5 all:
     5 	$(PYTHON) setup.py build_ext -i
     6 	$(PYTHON) setup.py build_ext -i
     6 
     7 
     7 install:
     8 install: all
     8 	@echo "Read the file README for install instructions."
     9 	$(PYTHON) setup.py install --home="$(PREFIX)"
       
    10 	cd doc && $(MAKE) $(MFLAGS) install
     9 
    11 
    10 clean:
    12 clean:
    11 	-$(PYTHON) setup.py clean --all # ignore errors of this command
    13 	-$(PYTHON) setup.py clean --all # ignore errors of this command
    12 	find . -name '*.py[co]' -exec rm -f '{}' ';'
    14 	find . -name '*.py[co]' -exec rm -f '{}' ';'
    13 	$(MAKE) -C doc clean
    15 	$(MAKE) -C doc clean