fix packaging for f37 (2/n)
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 25 Nov 2022 14:18:42 +0000 (15:18 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 25 Nov 2022 17:24:10 +0000 (18:24 +0100)
plc_api.php was missing
plus Server.py was misplaced, but that's just to remain in line with the previous package

Makefile

index b138e05..87ce913 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -24,10 +24,15 @@ all:
 install: install-python install-phpxmlrpc
 
 install-python:
-       pip install --target $(DESTDIR)/$(datadir)/plc_api .
+       # we mention --upgrade because otherwise
+       # pip install complains the php/ target already exists
+       # and it refuses to put plc_api.php in there
+       pip install --upgrade --target $(DESTDIR)/$(datadir)/plc_api .
        # it's important that plcsh sits in /usr/share/plc_api
        # and not under bin/ so that python can find the PLC/ modules
        mv $(DESTDIR)/$(datadir)/plc_api/bin/plcsh $(DESTDIR)/$(datadir)/plc_api
+       mv $(DESTDIR)/$(datadir)/plc_api/bin/Server.py $(DESTDIR)/$(datadir)/Server.py
+       # the old recipe used to read
        # python3 setup.py install \
        #     --install-purelib=$(DESTDIR)/$(datadir)/plc_api \
        #     --install-scripts=$(DESTDIR)/$(datadir)/plc_api \