From b4c99ac27b119e7d6d79764a66ec41a13a9a4c21 Mon Sep 17 00:00:00 2001
From: Rodrigo Mesquita <rodrigo.m.mesquita@gmail.com>
Date: Tue, 9 Jan 2024 10:34:23 +0000
Subject: [PATCH] Add test for C source depending on Haskell C stub
---
.../PackageTests/FFI/CSourceDependsStub/Lib.hs | 13 +++++++++++++
.../PackageTests/FFI/CSourceDependsStub/Main.hs | 16 ++++++++++++++++
.../FFI/CSourceDependsStub/cabal.out | 12 ++++++++++++
.../FFI/CSourceDependsStub/cabal.project | 1 +
.../FFI/CSourceDependsStub/cabal.test.hs | 6 ++++++
.../FFI/CSourceDependsStub/cbits/clib.c | 5 +++++
.../FFI/CSourceDependsStub/csourcedepsstub.cabal | 16 ++++++++++++++++
7 files changed, 69 insertions(+)
create mode 100644 cabal-testsuite/PackageTests/FFI/CSourceDependsStub/Lib.hs
create mode 100644 cabal-testsuite/PackageTests/FFI/CSourceDependsStub/Main.hs
create mode 100644 cabal-testsuite/PackageTests/FFI/CSourceDependsStub/cabal.out
create mode 100644 cabal-testsuite/PackageTests/FFI/CSourceDependsStub/cabal.project
create mode 100644 cabal-testsuite/PackageTests/FFI/CSourceDependsStub/cabal.test.hs
create mode 100644 cabal-testsuite/PackageTests/FFI/CSourceDependsStub/cbits/clib.c
create mode 100644 cabal-testsuite/PackageTests/FFI/CSourceDependsStub/csourcedepsstub.cabal
diff --git a/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/Lib.hs b/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/Lib.hs
new file mode 100644
index 0000000000..9535fcd23f
--- /dev/null
+++ b/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/Lib.hs
@@ -0,0 +1,13 @@
+{-# LANGUAGE ForeignFunctionInterface #-}
+
+module Lib where
+
+import Foreign.C (CInt (..))
+
+hello :: IO CInt
+hello = do
+ putStrLn "hello!"
+ return 11
+
+foreign export ccall "hello" hello :: IO CInt
+
diff --git a/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/Main.hs b/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/Main.hs
new file mode 100644
index 0000000000..2234f9e4ab
--- /dev/null
+++ b/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/Main.hs
@@ -0,0 +1,16 @@
+{-# LANGUAGE ForeignFunctionInterface #-}
+
+module Main where
+
+import Foreign.C (CInt (..))
+
+foreign import ccall "meaning_of_life_c"
+ meaning_of_life_c :: IO CInt
+
+main :: IO ()
+main = do
+ secret <- meaning_of_life_c
+ -- The value 11 comes from the exported Lib.hello
+ if (secret == 11)
+ then putStrLn ("The secret is " ++ show secret)
+ else error ("Expected value 11, got " ++ show secret)
diff --git a/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/cabal.out b/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/cabal.out
new file mode 100644
index 0000000000..cdfe4ab10d
--- /dev/null
+++ b/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/cabal.out
@@ -0,0 +1,12 @@
+# cabal v2-build
+Resolving dependencies...
+Build profile: -w ghc-<GHCVER> -O1
+In order, the following will be built:
+ - csourcedepsstub-0.1 (lib) (first run)
+ - csourcedepsstub-0.1 (exe:csourcedeps-exe) (first run)
+Configuring library for csourcedepsstub-0.1...
+Preprocessing library for csourcedepsstub-0.1...
+Building library for csourcedepsstub-0.1...
+Configuring executable 'csourcedeps-exe' for csourcedepsstub-0.1...
+Preprocessing executable 'csourcedeps-exe' for csourcedepsstub-0.1...
+Building executable 'csourcedeps-exe' for csourcedepsstub-0.1...
diff --git a/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/cabal.project b/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/cabal.project
new file mode 100644
index 0000000000..e6fdbadb43
--- /dev/null
+++ b/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/cabal.project
@@ -0,0 +1 @@
+packages: .
diff --git a/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/cabal.test.hs b/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/cabal.test.hs
new file mode 100644
index 0000000000..fcfdc963f4
--- /dev/null
+++ b/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/cabal.test.hs
@@ -0,0 +1,6 @@
+-- Tests whether an extra C source can depend on a _stub header generated by
+-- GHC compiling a Haskell module with a foreign export declaration
+
+import Test.Cabal.Prelude
+main = cabalTest $ do
+ cabal "v2-build" []
diff --git a/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/cbits/clib.c b/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/cbits/clib.c
new file mode 100644
index 0000000000..3589ade00f
--- /dev/null
+++ b/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/cbits/clib.c
@@ -0,0 +1,5 @@
+#include "Lib_stub.h"
+
+int meaning_of_life_c() {
+ return hello();
+}
diff --git a/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/csourcedepsstub.cabal b/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/csourcedepsstub.cabal
new file mode 100644
index 0000000000..61f0266993
--- /dev/null
+++ b/cabal-testsuite/PackageTests/FFI/CSourceDependsStub/csourcedepsstub.cabal
@@ -0,0 +1,16 @@
+cabal-version: 2.2
+name: csourcedepsstub
+version: 0.1
+build-type: Simple
+
+library
+ build-depends: base
+ default-language: Haskell2010
+ include-dirs: cbits
+ c-sources: cbits/clib.c
+ exposed-modules: Lib
+
+executable csourcedeps-exe
+ main-is: Main.hs
+ build-depends: base, csourcedepsstub
+ default-language: Haskell2010
--
GitLab