blob: 69be6f9e12f64c7952594a97c9e2669915364e2d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
From 58a8dbd6ce4e548407c92be1dd392e7f437e3862 Mon Sep 17 00:00:00 2001
From: Robin Haberkorn <robin.haberkorn@googlemail.com>
Date: Fri, 7 Sep 2012 17:17:56 +0200
Subject: [PATCH 04/12] install chuck headers (for building Chugins)
---
makefile | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/src/makefile b/src/makefile
index aa87fe9..077b879 100644
--- a/src/makefile
+++ b/src/makefile
@@ -9,6 +9,8 @@ current:
install:
cp $(wildcard chuck chuck.exe) $(DESTDIR)/
chmod 755 $(DESTDIR)/$(wildcard chuck chuck.exe)
+ mkdir -p /usr/include/chuck
+ cp *.h /usr/include/chuck
ifneq ($(CK_TARGET),)
.DEFAULT_GOAL:=$(CK_TARGET)
--
1.7.1
|
