Install using gprinstall

This will allow using `alr install`, when next Alire version is released.
mgrojo · Mar 20, 2023 · 54f7757 · 54f7757
1 parent f7bae7a
commit 54f7757
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -7,9 +7,7 @@ all:
 	alr build
 
 install: all
-	mkdir -p $(DESTDIR)/bin
-	cp -rp $(MAIN).desktop themes $(DESTDIR)
-	cp -p bin/$(MAIN) $(DESTDIR)/bin
+	alr exec -P -- gprinstall --prefix=$(DESTDIR) --create-missing-dirs --mode=usage -f
 	cp -p themes/1/icon.png $(DESTDIR)/$(MAIN).png
 
 AppImage:

diff --git a/play_2048.gpr b/play_2048.gpr
@@ -22,4 +22,8 @@ project Play_2048 is
          "-O2");
    end Compiler;
 
+   package Install is
+      for Artifacts (".") use ("themes", "play_2048.desktop");
+   end Install;
+
 end Play_2048;