From 399f3697b5468af6f827af4f8a856aa842d7c2b6 Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Wed, 19 Nov 2025 03:16:11 +0100
Subject: feat: making usage of the OCL way easier.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
---
 tools/hpptest.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/hpptest.py b/tools/hpptest.py
index dbed143..218255d 100755
--- a/tools/hpptest.py
+++ b/tools/hpptest.py
@@ -7,5 +7,5 @@ if __name__ == '__main__':
     if len(sys.argv) == 3:
         ret = os.system(f"clang++ -I./dev/ -I{sys.argv[2]} -std=c++20 -DOCL_HPPTEST '-DOCL_HPPTEST_ASSERT(x)=static_assert(x, #x)' {sys.argv[1]}")
         if ret == 0:
-            print("[TEST] HEADER COMPILATION PASSES")
+            print("[HPPTEST] HPPTEST PASSES.")
 
-- 
cgit v1.2.3


From b0292253ca9732b228ef505e3e719ae05c07c10c Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Wed, 19 Nov 2025 03:38:42 +0100
Subject: feat: new distribution tool for OCL.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
---
 .gitignore         |  2 ++
 make_dist_linux.sh | 17 +++++++++++++++++
 make_dist_osx.sh   | 17 +++++++++++++++++
 tools/.gitkeep     |  0
 4 files changed, 36 insertions(+)
 create mode 100755 make_dist_linux.sh
 create mode 100755 make_dist_osx.sh
 delete mode 100644 tools/.gitkeep

(limited to 'tools')

diff --git a/.gitignore b/.gitignore
index 0d8637b..bf33267 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,8 @@
 *.o
 *.obj
 
+dist/*
+
 docs/html
 docs/latex
 
diff --git a/make_dist_linux.sh b/make_dist_linux.sh
new file mode 100755
index 0000000..221b5f4
--- /dev/null
+++ b/make_dist_linux.sh
@@ -0,0 +1,17 @@
+#! /bin/sh
+
+outputDir=dist/lib/
+
+mkdir -p $outputDir
+
+for f in dev/lib/*/*.hpp; do
+baseName=`echo $f | cut -d "." -f 1`
+echo "RUN:" cp --parents $f.hpp $outputDir$baseName
+cp --parents $f.hpp $outputDir$baseName
+done
+
+for f in tools/*.py; do
+baseName=`echo $f | cut -d "." -f 1`
+echo "RUN:" ditto $baseName.py $outputDir$baseName
+ditto $baseName.py $outputDir$baseName
+done
diff --git a/make_dist_osx.sh b/make_dist_osx.sh
new file mode 100755
index 0000000..9d91de3
--- /dev/null
+++ b/make_dist_osx.sh
@@ -0,0 +1,17 @@
+#! /bin/sh
+
+outputDir=dist/
+
+mkdir -p $outputDir
+
+for f in dev/lib/*/*.hpp; do
+baseName=`echo $f | cut -d "." -f 1`
+echo "RUN:" ditto $baseName.hpp $outputDir$baseName
+ditto $baseName.hpp $outputDir$baseName
+done
+
+for f in tools/*.py; do
+baseName=`echo $f | cut -d "." -f 1`
+echo "RUN:" ditto $baseName.py $outputDir$baseName
+ditto $baseName.py $outputDir$baseName
+done
diff --git a/tools/.gitkeep b/tools/.gitkeep
deleted file mode 100644
index e69de29..0000000
-- 
cgit v1.2.3