From 3c81c6f8fb41058e505c61db0f7d566ffebe2357 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 30 Aug 2019 07:49:36 +0200
Subject: synth: add support for --synth on llvm, link with -lm.

---
 src/synth/synth-expr.adb | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/synth/synth-expr.adb')

diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb
index d24486f3d..26318bcf8 100644
--- a/src/synth/synth-expr.adb
+++ b/src/synth/synth-expr.adb
@@ -43,6 +43,10 @@ with Netlists.Builders; use Netlists.Builders;
 with Netlists.Locations; use Netlists.Locations;
 
 package body Synth.Expr is
+   --  As log2(3m) is directly referenced, the program must be linked with -lm
+   --  (math library) on unix systems.
+   pragma Linker_Options ("-lm");
+
    function Synth_Name (Syn_Inst : Synth_Instance_Acc; Name : Node)
                        return Value_Acc;
 
-- 
cgit v1.2.3