Package: coq / 8.12.0-3

install-coqide-bytecode Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
Author: Ralf Treinen <treinen@debian.org>
Description: Fix installation of coqide on bytecode architectures

Index: coq/Makefile.ide
===================================================================
--- coq.orig/Makefile.ide	2020-04-10 14:00:08.336620377 +0200
+++ coq/Makefile.ide	2020-04-10 14:00:08.316620304 +0200
@@ -181,8 +181,10 @@

 ifeq ($(HASCOQIDE),no)
 install-coqide: install-ide-toploop
-else
+else ifeq ($(HASCOQIDE),opt)
 install-coqide: install-ide-bin install-ide-toploop install-ide-files install-ide-info install-ide-devfiles
+else # ifeq ($(HASCOQIDE),byte)
+install-coqide: install-ide-byte install-ide-toploop-byte install-ide-files install-ide-info install-ide-devfiles
 endif
 ifeq ($(HASCOQIDE),no)
 install-coqide-byte: install-ide-toploop-byte