Adds rogueutil example

Author: bolt12

.github/actions/examples/c-rogueutil/action.yml

@@ -0,0 +1,14 @@
+name: c-rogueutil Example
+description: Build and run the c-rogueutil example
+
+runs:
+  using: composite
+  steps:
+    - name: Initialize git submodules
+      shell: bash
+      run: git submodule update --init --recursive examples/c-rogueutil/rogueutil
+
+    - name: Run generation and build script
+      shell: bash
+      working-directory: ./examples/c-rogueutil
+      run: ./generate-and-run.sh

.gitmodules

@@ -7,6 +7,6 @@
 [submodule "examples/c-minisat/minisat-c-bindings"]
 	path = examples/c-minisat/minisat-c-bindings
 	url = https://github.com/niklasso/minisat-c-bindings.git
-[submodule "c-rogueutil/rogueutil"]
+[submodule "examples/c-rogueutil/rogueutil"]
 	path = examples/c-rogueutil/rogueutil
-	url = git@github.com:sakhmatd/rogueutil.git
+	url = https://github.com/sakhmatd/rogueutil.git

examples/c-rogueutil/generate-and-run.sh

@@ -7,20 +7,12 @@ SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
 PROJECT_ROOT="$(cd "$SCRIPT_DIR/../.." && pwd)"
 
 echo "# "
-echo "# Building minisat C bindings"
+echo "# Building rogueutil C bindings"
 echo "# "
 
-cd "$SCRIPT_DIR/minisat-c-bindings"
+cd "$SCRIPT_DIR/rogueutil"
 make
 
-echo "# "
-echo "# Creating symlinks for shared library"
-echo "# "
-
-cd "$SCRIPT_DIR/minisat-c-bindings/build/dynamic/lib"
-ln -sf libminisat-c.so.1.0.0 libminisat-c.so
-ln -sf libminisat-c.so.1.0.0 libminisat-c.so.1
-
 echo "# "
 echo "# Generating Haskell bindings"
 echo "# "
@@ -29,30 +21,33 @@ cd "$PROJECT_ROOT"
 
 cabal run hs-bindgen-cli -- \
     preprocess \
-    -I "$SCRIPT_DIR/minisat-c-bindings" \
+    -I "$SCRIPT_DIR/rogueutil" \
     --hs-output-dir "$SCRIPT_DIR/hs-project/src" \
-    --module Minisat.Generated \
-    "$SCRIPT_DIR/minisat-c-bindings/minisat.h"
+    --module RogueUtil.Generated \
+    --clang-option=-D_POSIX_C_SOURCE=200809L \
+    "$SCRIPT_DIR/rogueutil/rogueutil.h"
 
 echo "# "
 echo "# Creating cabal.project.local"
 echo "# "
 
 cat > "$SCRIPT_DIR/hs-project/cabal.project.local" <<EOF
-package c-minisat
+package c-rogueutil
     extra-include-dirs:
-        $SCRIPT_DIR/minisat-c-bindings
-      , $SCRIPT_DIR/minisat-c-bindings/build/dynamic/lib
+        $SCRIPT_DIR/rogueutil
     extra-lib-dirs:
-        $SCRIPT_DIR/minisat-c-bindings
-      , $SCRIPT_DIR/minisat-c-bindings/build/dynamic/lib
+        $SCRIPT_DIR/rogueutil
+
+shared: False
 EOF
 
 echo "# "
 echo "# Done!"
 echo "# "
 echo "Running the project"
+
 cd $SCRIPT_DIR/hs-project
-export LD_LIBRARY_PATH=$SCRIPT_DIR/minisat-c-bindings/build/dynamic/lib:\$LD_LIBRARY_PATH
+export LD_LIBRARY_PATH=$SCRIPT_DIR/rogueutil/:\$LD_LIBRARY_PATH
+
 cabal build
-cabal run c-minisat
+cabal run c-rogueutil

examples/c-rogueutil/hs-project/app/Main.hs

@@ -2,14 +2,43 @@
 
 module Main where
 
-import qualified RogueUtil as RU
-import Foreign.C (newCString)
-import Formatting
+import Control.Monad (forM_)
+import Foreign.C (newCString, withCString)
+
+import RogueUtil.Generated qualified as RU
+import RogueUtil.Generated.Safe qualified as Safe
 
 main :: IO ()
 main = do
-  RU.setColor (fromIntegral $ RU.un_Color_code RU.YELLOW)
-  pressAnyKeyString <- newCString "Press any key to start"
-  RU.anykey (RU.RUTIL_STRING pressAnyKeyString)
-  RU.resetColor
-  RU.colorPrint RU.RED RU.WHITE ("\nThis is the manual colorPrint binding: " % string % int) "ola" 2
+  _ <- Safe.saveDefaultColor
+
+  Safe.cls
+  Safe.hidecursor
+
+  Safe.setColor (fromIntegral $ RU.un_Color_code RU.YELLOW)
+  Safe.setBackgroundColor (fromIntegral $ RU.un_Color_code RU.BLUE)
+  titleStr <- newCString "=== RogueUtil Haskell Bindings Demo ==="
+  Safe.printXY 20 2 (RU.RUTIL_STRING titleStr)
+  Safe.resetColor
+
+  rows <- Safe.trows
+  cols <- Safe.tcols
+  Safe.setColor (fromIntegral $ RU.un_Color_code RU.CYAN)
+  sizeMsg <- newCString $ "Terminal size: " ++ show cols ++ "x" ++ show rows
+  Safe.printXY 20 4 (RU.RUTIL_STRING sizeMsg)
+  Safe.resetColor
+
+  let colors = [RU.RED, RU.YELLOW, RU.GREEN, RU.CYAN, RU.BLUE, RU.MAGENTA]
+  forM_ (zip [0..] colors) $ \(i, color) -> do
+    Safe.setColor (fromIntegral $ RU.un_Color_code color)
+    withCString ("█████ " ++ show color) $ \str ->
+      Safe.printXY 20 (6 + fromIntegral i) (RU.RUTIL_STRING str)
+  Safe.resetColor
+
+  Safe.locate 20 14
+  Safe.showcursor
+  pressKeyMsg <- newCString "Press any key to exit..."
+  Safe.anykey (RU.RUTIL_STRING pressKeyMsg)
+
+  Safe.cls
+  Safe.resetColor

examples/c-rogueutil/hs-project/c-rogueutil.cabal

@@ -59,7 +59,10 @@ library
 
     -- Modules exported by the library.
     exposed-modules:  RogueUtil.Generated
-                      RogueUtil
+                      RogueUtil.Generated.Safe
+                      RogueUtil.Generated.Unsafe
+                      RogueUtil.Generated.Global
+                      RogueUtil.Generated.FunPtr
 
     -- Modules included in this library but not exported.
     -- other-modules:
@@ -69,7 +72,6 @@ library
 
     -- Other library packages from which modules are imported.
     build-depends:    base ^>=4.19.2.0,
-                      formatting,
                       hs-bindgen-runtime
 
     -- Directories containing source files.
@@ -94,7 +96,6 @@ executable c-rogueutil
     -- Other library packages from which modules are imported.
     build-depends:
         base ^>=4.19.2.0,
-        formatting,
         c-rogueutil
 
     -- Directories containing source files.

examples/c-rogueutil/hs-project/cabal.project

@@ -1,7 +1,11 @@
 packages: .
-          ../ansi-diff
-          ../c-expr
-          ../clang
-          ../hs-bindgen-runtime
-          ../hs-bindgen
+          ../../../ansi-diff
+          ../../../hs-bindgen-runtime
+          ../../../c-expr-runtime
+          ../../../c-expr-dsl
+          ../../../hs-bindgen
 
+source-repository-package
+    type: git
+    location: https://github.com/well-typed/libclang
+    tag: d4ae9a5fcca9ae71fcb4df2c0b0ea37c6b15c48c