From c94849b1d8bb3b9d8ec893364e4ea8217211b5b3 Mon Sep 17 00:00:00 2001
From: Erik Kooistra <kooistra@astron.nl>
Date: Fri, 31 Oct 2014 15:32:26 +0000
Subject: [PATCH] Improved check on vsimId for vlib.

---
 tools/modelsim/commands.do | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/modelsim/commands.do b/tools/modelsim/commands.do
index 01ce3567d4..7b43eb44d7 100644
--- a/tools/modelsim/commands.do
+++ b/tools/modelsim/commands.do
@@ -154,8 +154,8 @@ proc parse_for_libs arg_list {
 proc do_vlib arg_work {
     set modelsimId [vsimId]
     set dot_index [string first . $modelsimId]
-    set modelsimId [string range $modelsimId 0 [expr $dot_index-1]]
-    if {$modelsimId < 10} {
+    set majorId [string range $modelsimId 0 [expr $dot_index-1]]
+    if {$majorId <= 6} {
         vlib $arg_work
     } else {
         # The makefile that is created by vmake relies on using directories in vlib
-- 
GitLab